Rev 534 | Go to most recent revision | Only display areas with differences | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 534 | Rev 549 | ||
---|---|---|---|
1 | #! /bin/sh |
1 | #! /bin/sh |
2 | 2 | ||
- | 3 | # Without Makefile.config the makefile does not work... |
|
- | 4 | touch Makefile.config |
|
- | 5 | ||
3 | ARCH="`basename "$0" | awk -F. '{ if (NF > 1) print \$NF }'`" |
6 | ARCH="`basename "$0" | awk -F. '{ if (NF > 1) print \$NF }'`" |
4 | if [ -z "$ARCH" ]; then |
7 | if [ -z "$ARCH" ]; then |
5 | for ARCH in arch/* ; do |
8 | for ARCH in arch/* ; do |
6 | make clean "ARCH=`basename "$ARCH"`" |
9 | make clean "ARCH=`basename "$ARCH"`" |
7 | done |
10 | done |
8 | else |
11 | else |
9 | make clean "ARCH=$ARCH" |
12 | make clean "ARCH=$ARCH" |
10 | fi |
13 | fi |
11 | 14 |