diff options
| -rw-r--r-- | .gitignore | 2 | ||||
| -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 | 
4 files changed, 6 insertions, 6 deletions
| @@ -28,6 +28,6 @@ a.out  /ovh/soapi/SOAPpy  /Reaktor/IRC/irclib.py  /Reaktor/public_commands/* -/ship/out +/ship/tmp  /webchat/node_modules  /webchat/local_config 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 | 
