From 7c085d58b140ddb9202856256b482a643e7e0e89 Mon Sep 17 00:00:00 2001
From: Thorsten von Eicken <tve@rightscale.com>
Date: Sat, 1 Oct 2016 11:59:02 -0700
Subject: [PATCH] fix Makefile snafu

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 0258cb7..973209b 100644
--- a/Makefile
+++ b/Makefile
@@ -408,7 +408,7 @@ flash: all
 	  0x00000 "$(SDK_BASE)/bin/boot_v1.5.bin" 0x01000 $(FW_BASE)/user1.bin \
 	  $(ET_BLANK) $(SDK_BASE)/bin/blank.bin
 
-ifeq ($(OS),Windows_NT)
+tools/$(HTML_COMPRESSOR):
 	$(Q) echo "The jar files in the tools dir are missing, they should be in the source repo"
 	$(Q) echo "The following commands can be used to fetch them, but the URLs have changed..."
 	$(Q) echo mkdir -p tools