configure
changeset 10 e2e657251d08
child 16 2b2d175c2403
equal deleted inserted replaced
9:ab747c27a38b 10:e2e657251d08
       
     1 #! /bin/bash
       
     2 
       
     3 prefix="/usr/local"
       
     4 
       
     5 tmp=$(getopt -n $0 -o p -l prefix: -- "$@")
       
     6 eval set -- "$tmp"
       
     7 
       
     8 while true; do
       
     9     case "$1" in 
       
    10 	--prefix)   prefix="$2"; shift 2
       
    11 		    ;;
       
    12 	--)	    break
       
    13 		    ;;
       
    14     esac
       
    15 done
       
    16 
       
    17 sed -e "s|@prefix@|$prefix|g" <Makefile.in >Makefile