configure
changeset 18 0a525189554d
parent 17 a0ce6426f63b
equal deleted inserted replaced
17:a0ce6426f63b 18:0a525189554d
     1 #! /bin/sh
       
     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 	o="$1"; shift
       
    10 	case "$o" in
       
    11 		-p|--prefix)	prefix="$1"; shift;;
       
    12 		--) break;;
       
    13 	esac
       
    14 done
       
    15 
       
    16 perl -pe "s{!prefix!}{$prefix}g" < Makefile.in > Makefile