0.8.10.16:
[sbcl.git] / find-gnumake.sh
index 6f6e84d..e32c3a1 100644 (file)
@@ -18,5 +18,5 @@ find_gnumake() {
     exit 1
   fi
   export GNUMAKE
-  echo "//GNUMAKE=\"$GNUMAKE\""
+  #echo "//GNUMAKE=\"$GNUMAKE\""
 }