diff options
Diffstat (limited to 'ship/deploy')
-rwxr-xr-x | ship/deploy | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/ship/deploy b/ship/deploy new file mode 100755 index 00000000..0f3e5219 --- /dev/null +++ b/ship/deploy @@ -0,0 +1,10 @@ +#!/bin/sh +set -x +cd $(dirname $0) +bindir=$PWD/bin/ +libdir=$PWD/lib/ +outdir=$PWD/out/ +for file in `ls -1 $bindir`;do + BUILD_PATH=$libdir ./build compile bin/$file out/$file + chmod 755 $outdir/$file +done |