tuse LOCAL.config - plan9port - [fork] Plan 9 from user space
  HTML git clone git://src.adamsgaard.dk/plan9port
   DIR Log
   DIR Files
   DIR Refs
   DIR README
   DIR LICENSE
       ---
   DIR commit 52fdc1a5470b984b68afa7392980ef190e74b916
   DIR parent 41e0f84ca63bc829155647d99041ca3f2b1778f7
  HTML Author: rsc <devnull@localhost>
       Date:   Wed,  2 Feb 2005 22:08:10 +0000
       
       use LOCAL.config
       
       Diffstat:
         M INSTALL                             |       9 ++++++++-
       
       1 file changed, 8 insertions(+), 1 deletion(-)
       ---
   DIR diff --git a/INSTALL b/INSTALL
       t@@ -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
       t@@ -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