equal
deleted
inserted
replaced
1 #!/bin/sh |
1 #!/bin/sh |
2 |
|
3 # ignore $0 |
|
4 shift |
|
5 |
2 |
6 # build mode defaults to Release |
3 # build mode defaults to Release |
7 if [ -z "$1" ]; then |
4 if [ -z "$1" ]; then |
8 BUILD_TYPE=Release |
5 BUILD_TYPE=Release |
9 else |
6 else |
10 BUILD_TYPE="$0" |
7 BUILD_TYPE="$1"; shift |
11 shift |
|
12 fi |
8 fi |
13 |
9 |
14 # install prefix defaults to /tmp |
10 # install prefix defaults to /tmp |
15 if [ -z "$2" ]; then |
11 if [ -z "$1" ]; then |
16 INSTALL_PREFIX=/tmp |
12 INSTALL_PREFIX=/tmp |
17 else |
13 else |
18 INSTALL_PREFIX="$0" |
14 INSTALL_PREFIX="$1"; shift |
19 shift |
|
20 fi |
15 fi |
21 |
16 |
22 # remaining arguments |
17 # remaining arguments |
23 EXTRA_OPTS="$*" |
18 EXTRA_OPTS="$*" |
24 |
19 |