diff options
| author | rsc <devnull@localhost> | 2005-02-02 22:08:10 +0000 |
|---|---|---|
| committer | rsc <devnull@localhost> | 2005-02-02 22:08:10 +0000 |
| commit | 52fdc1a5470b984b68afa7392980ef190e74b916 (patch) | |
| tree | 94ea416720bca11124214621f429976db84e5afb /INSTALL | |
| parent | 41e0f84ca63bc829155647d99041ca3f2b1778f7 (diff) | |
| download | plan9port-52fdc1a5470b984b68afa7392980ef190e74b916.tar.gz plan9port-52fdc1a5470b984b68afa7392980ef190e74b916.tar.bz2 plan9port-52fdc1a5470b984b68afa7392980ef190e74b916.zip | |
use LOCAL.config
Diffstat (limited to 'INSTALL')
| -rwxr-xr-x | INSTALL | 9 |
1 files changed, 8 insertions, 1 deletions
@@ -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 |