Commit Diff

Commit:
52fdc1a5470b984b68afa7392980ef190e74b916
From:
rsc <devnull@localhost>
Date:
Message:
use LOCAL.config
Actions:
Patch | Tree
commit - 41e0f84ca63bc829155647d99041ca3f2b1778f7
commit + 52fdc1a5470b984b68afa7392980ef190e74b916
blob - c0c04db209c8d8e27f34ca9574345cdf8fd34fda
blob + 650cd8f299d21047bd23b85e04f128b604409d0a
--- INSTALL
+++ INSTALL
@@ -4,7 +4,7 @@ PLAN9=`pwd` export PLAN9
 PATH=$PLAN9/bin:$PATH export PATH
 
 echo "Resetting $PLAN9/config"
-rm -f $PLAN9/config
+rm -f config
 
 (
 if [ `uname` = Linux ]; then
@@ -23,6 +23,13 @@ if [ `uname` = Linux ]; then
 	fi
 	rm -f ./a.out
 fi
+
+if [ -f LOCAL.config ]; then
+	echo Using LOCAL.config options:
+	sed 's/^/	/' LOCAL.config
+	cat LOCAL.config >>config
+fi
+
 echo "Building mk..."
 cd src
 make