Rev 500 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 500 | Rev 535 | ||
---|---|---|---|
Line 13... | Line 13... | ||
13 | if [ -z "$ARCH" ]; then |
13 | if [ -z "$ARCH" ]; then |
14 | syntax |
14 | syntax |
15 | exit 1 |
15 | exit 1 |
16 | fi |
16 | fi |
17 | 17 | ||
18 | ARGS="" |
18 | ARGS="ARCH=$ARCH" |
19 | while [ "$#" -gt 0 ]; do |
19 | while [ "$#" -gt 0 ]; do |
20 | case "$1" in |
20 | case "$1" in |
21 | -compiler) |
21 | -compiler) |
22 | if [ -z "$2" ]; then |
22 | if [ -z "$2" ]; then |
23 | syntax |
23 | syntax |
Line 32... | Line 32... | ||
32 | ;; |
32 | ;; |
33 | esac |
33 | esac |
34 | shift |
34 | shift |
35 | done |
35 | done |
36 | 36 | ||
37 | make all "ARCH=$ARCH" |
37 | make all $ARGS |