Index: wrap_make |
=================================================================== |
new file mode 100755 |
--- /dev/null |
+++ b/wrap_make |
@@ -0,0 +1,11 @@ |
+#!/bin/sh |
+ |
+while [ "$1" != "-C" ] |
+do |
+ target="$target $1" |
+ shift |
+done |
+ |
+make $* && for t in $target ; do |
+ cp v8/out/Debug/$t . |
+done |