changeset 7951:d025821b6b6d

Merge
author robm
date Fri, 15 Apr 2016 14:47:04 +0100
parents 448a5dcf414f 01745e531a0a
children ef01a1634bb4 65a0107d52ed
files
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/make/windows/makefiles/sa.make	Mon Apr 11 13:48:00 2016 -0700
+++ b/make/windows/makefiles/sa.make	Fri Apr 15 14:47:04 2016 +0100
@@ -44,9 +44,11 @@
 HS_ALT_SRC_REL=src/closed
 HS_ALT_SRC = $(WorkSpace)/$(HS_ALT_SRC_REL)
 !ifndef HS_ALT_MAKE
+!if exist($(WorkSpace)/make/closed)
 HS_ALT_MAKE=$(WorkSpace)/make/closed
 !endif
 !endif
+!endif
 
 HS_COMMON_SRC = $(WorkSpace)/$(HS_COMMON_SRC_REL)