Commit Diff


commit - e9a2f2e357c8b0b207be073db69bd96a587c1768
commit + 4fbb40ce7b16f239d31649ea7a0b3752dbb53f61
blob - c48f565a0e734f1bce82f8b4ed2772e391b28040
blob + 5bbced6365744f133ee8227535e53111bf9a5353
--- INSTALL
+++ INSTALL
@@ -27,7 +27,7 @@ rm -f config
 
 (
 echo "* Compiler version:"
-9c -v 2>&1 | grep -i version | sed 's/^/	/'
+9c -v 2>&1 | grep -v 'Configured with:' | grep -i version | sed 's/^/	/'
 
 if [ `uname` = Linux ]; then
 	# On Linux, we use the kernel version to decide whether