1 files changed, 1 insertions, 1 deletions
diff --git a/INSTALL b/INSTALL
index c48f565a..5bbced63 100755
--- a/INSTALL
+++ b/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