changeset 10 | e2e657251d08 |
child 16 | 2b2d175c2403 |
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 |