diff options
| author | Francesco Abbate <francesco.bbt@gmail.com> | 2020-12-26 15:25:09 +0100 |
|---|---|---|
| committer | Francesco Abbate <francesco.bbt@gmail.com> | 2020-12-26 15:25:09 +0100 |
| commit | 4416f219e4dda67a2ecfeb7a9b0d550639c043a1 (patch) | |
| tree | 4d7edcec46e571940effca9fdcf724051c6b746a /dev-utils/run-local | |
| parent | 3c285b94bf35f51e76389812aefbef4bb0338be5 (diff) | |
| download | lite-xl-4416f219e4dda67a2ecfeb7a9b0d550639c043a1.tar.gz lite-xl-4416f219e4dda67a2ecfeb7a9b0d550639c043a1.zip | |
Minor change in run-local script
Diffstat (limited to 'dev-utils/run-local')
| -rwxr-xr-x | dev-utils/run-local | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/dev-utils/run-local b/dev-utils/run-local index b814b9c1..e0d6a059 100755 --- a/dev-utils/run-local +++ b/dev-utils/run-local @@ -48,6 +48,11 @@ fi userdir="$(realpath "$rundir")" builddir="${pargs[0]}" +build_lite () { + echo "running ninja" + ninja -C "$builddir" +} + copy_lite_build () { echo "copying lite executable and data" rm -fr "$rundir" @@ -77,8 +82,7 @@ run_lite () { } if [ $option_copy == on ]; then - echo "running ninja" - ninja -C "$builddir" + build_lite copy_lite_build fi run_lite |