diff options
Diffstat (limited to 'ship')
| -rwxr-xr-x | ship/deploy | 10 | ||||
| -rwxr-xr-x | ship/src/punani (renamed from ship/bin/punani) | 0 | ||||
| -rw-r--r-- | ship/tmp/.placeholder (renamed from ship/out/.placeholder) | 0 |
3 files changed, 5 insertions, 5 deletions
diff --git a/ship/deploy b/ship/deploy index 411f8eec..cb71d570 100755 --- a/ship/deploy +++ b/ship/deploy @@ -1,9 +1,9 @@ #!/bin/sh set -xeuf cd $(dirname $0) -bindir=$PWD/bin -libdir=$PWD/lib -outdir=$PWD/out -for file in `ls -1 $bindir`;do - BUILD_PATH=$libdir ./build compile $bindir/$file $outdir/$file +exesrcdir=src +libsrcdir=lib +tmpoutdir=tmp +for file in `ls $exesrcdir`; do + BUILD_PATH=$libsrcdir ./build compile $exesrcdir/$file $tmpoutdir/$file done diff --git a/ship/bin/punani b/ship/src/punani index ceabd667..ceabd667 100755 --- a/ship/bin/punani +++ b/ship/src/punani diff --git a/ship/out/.placeholder b/ship/tmp/.placeholder index e69de29b..e69de29b 100644 --- a/ship/out/.placeholder +++ b/ship/tmp/.placeholder |