@ -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