aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xINSTALL3
1 files changed, 3 insertions, 0 deletions
diff --git a/INSTALL b/INSTALL
index 3b065fee..c48f565a 100755
--- a/INSTALL
+++ b/INSTALL
@@ -26,6 +26,9 @@ echo "* Resetting $PLAN9/config"
rm -f config
(
+echo "* Compiler version:"
+9c -v 2>&1 | grep -i version | sed 's/^/ /'
+
if [ `uname` = Linux ]; then
# On Linux, we use the kernel version to decide whether
# to use pthreads or not. On 2.6 versions that aren't