Minor change in run-local script

This commit is contained in:
Francesco Abbate 2020-12-26 15:25:09 +01:00
parent 3c285b94bf
commit 4416f219e4
1 changed files with 6 additions and 2 deletions

View File

@ -48,6 +48,11 @@ fi
userdir="$(realpath "$rundir")" userdir="$(realpath "$rundir")"
builddir="${pargs[0]}" builddir="${pargs[0]}"
build_lite () {
echo "running ninja"
ninja -C "$builddir"
}
copy_lite_build () { copy_lite_build () {
echo "copying lite executable and data" echo "copying lite executable and data"
rm -fr "$rundir" rm -fr "$rundir"
@ -77,8 +82,7 @@ run_lite () {
} }
if [ $option_copy == on ]; then if [ $option_copy == on ]; then
echo "running ninja" build_lite
ninja -C "$builddir"
copy_lite_build copy_lite_build
fi fi
run_lite run_lite