submerging the diagnostic noise again.
authorChris Koeritz <fred@gruntose.com>
Tue, 12 Nov 2013 18:53:04 +0000 (13:53 -0500)
committerChris Koeritz <fred@gruntose.com>
Tue, 12 Nov 2013 18:53:04 +0000 (13:53 -0500)
customizing/fred/java_profile.sh

index fc99ce09909e74087839c29c100769bb4b251f53..dad2ae9b9d8a561ae20b9540e7edfe9166260e33 100644 (file)
@@ -130,5 +130,5 @@ fi
 
 ############################
 
-echo "after running $0 JAVA_HOME='$JAVA_HOME' and eclipse is $ECLIPSE_DIR"
+#echo "java_profile: JAVA_HOME='$JAVA_HOME' ECLIPSE_DIR='$ECLIPSE_DIR'"