Left: | ||
Right: |
OLD | NEW |
---|---|
(Empty) | |
1 #!/bin/sh | |
2 | |
3 | |
4 outdir="v8/out/Debug" | |
5 | |
6 # the arguments are | |
7 # [file1, ...] [-D outdir] -C dir ... | |
8 # | |
9 # -D is the output directory to copy from | |
10 # the rest is passed verbatim to make. | |
11 while [ "$1" != "-D" -a "$1" != "-C" ] ; do | |
12 target="$target $1" | |
13 shift | |
14 done | |
15 if [ "$1" = "-D" ] ; then | |
16 shift | |
17 outdir="$1" | |
18 shift | |
19 fi | |
20 | |
21 make $* && for t in $target ; do | |
22 cp $outdir/$t . | |
23 done | |
OLD | NEW |