| 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 |