Commit Diff
--- 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