jdk/make/common/shared/Sanity.gmk
changeset 2304 05e04a29c589
parent 2186 53da56fa3bf9
child 2660 3c98e01dcbcf
--- a/jdk/make/common/shared/Sanity.gmk	Wed Apr 01 08:58:18 2009 -0700
+++ b/jdk/make/common/shared/Sanity.gmk	Wed Apr 01 16:49:43 2009 -0700
@@ -502,13 +502,15 @@
 ######################################################
 ifdef OPENJDK
 sane-binary-plugs:
+  ifeq ($(IMPORT_BINARY_PLUGS),true)
 	@if [ ! -d "$(BINARY_PLUGS_PATH)" ]; then \
-	  $(ECHO) "ERROR: Can't locate pre-built libraries. \n" \
+	  $(ECHO) "WARNING: Can't locate pre-built libraries. \n" \
 	    "      Please check your access to \n" \
 	    "          $(BINARY_PLUGS_PATH) \n" \
 	    "      and/or check your value of ALT_BINARY_PLUGS_PATH. \n" \
-	   "" >> $(ERROR_FILE); \
+	   "" >> $(WARNING_FILE); \
 	fi
+  endif
 endif
 
 ######################################################