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 |