| Index: wrap_make |
| =================================================================== |
| new file mode 100755 |
| --- /dev/null |
| +++ b/wrap_make |
| @@ -0,0 +1,23 @@ |
| +#!/bin/sh |
| + |
| + |
| +outdir="v8/out/Debug" |
| + |
| +# the arguments are |
| +# [file1, ...] [-D outdir] -C dir ... |
| +# |
| +# -D is the output directory to copy from |
| +# the rest is passed verbatim to make. |
| +while [ "$1" != "-D" -a "$1" != "-C" ] ; do |
| + target="$target $1" |
| + shift |
| +done |
| +if [ "$1" = "-D" ] ; then |
| + shift |
| + outdir="$1" |
| + shift |
| +fi |
| + |
| +make $* && for t in $target ; do |
| + cp $outdir/$t . |
| +done |