jdk/make/common/shared/Sanity-Settings.gmk
changeset 14091 e5c8662f325d
parent 11994 74f1488b7347
child 14342 8435a30053c1
--- a/jdk/make/common/shared/Sanity-Settings.gmk	Wed Jul 05 18:26:11 2017 +0200
+++ b/jdk/make/common/shared/Sanity-Settings.gmk	Tue Oct 23 10:10:23 2012 -0700
@@ -182,8 +182,13 @@
     ALL_SETTINGS+=$(call addRequiredVersionSetting,CYGWIN_VER)
     ALL_SETTINGS+=$(call addRequiredSetting,CYGPATH_CMD)
   else
-    ALL_SETTINGS+=$(call addRequiredVersionSetting,MKS_VER)
-    ALL_SETTINGS+=$(call addOptionalSetting,DOSNAME_CMD)
+    ifdef USING_MSYS
+      ALL_SETTINGS+=$(call addRequiredSetting,USING_MSYS)
+      ALL_SETTINGS+=$(call addRequiredSetting,DOSPATH_CMD)
+    else
+      ALL_SETTINGS+=$(call addRequiredVersionSetting,MKS_VER)
+      ALL_SETTINGS+=$(call addOptionalSetting,DOSNAME_CMD)
+    endif
   endif
 endif
 ifeq ($(PLATFORM),linux)