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