From 68f533deae3da8f49860b06652059213b96dd771 Mon Sep 17 00:00:00 2001 From: Ko van der Sloot Date: Tue, 5 Dec 2023 12:48:55 +0100 Subject: [PATCH] updated scripts --- redo-everything-from-scratch | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/redo-everything-from-scratch b/redo-everything-from-scratch index cc3050b..802252b 100755 --- a/redo-everything-from-scratch +++ b/redo-everything-from-scratch @@ -42,11 +42,11 @@ optdirs='colibri-core colibri-utils' exes='timbl timblserver mbt mbtserver dimbl ucto frog folialint FoLiA-stats FoLiA-alto FoLiA-hocr TICCL-lexclean TICCL-indexerNT wopr' partdirs=() -if [ $restart != "" ] +if [ "$restart" != "" ] then for app in $dirs do -# echo "app=$app restart=$restart" + echo "app=$app restart=$restart" if [ $app = $restart ] then partdirs+="$app " @@ -60,7 +60,12 @@ then done fi -dirs=$partdirs +if [ "$partdirs" != "" ]; +then + dirs=$partdirs +fi + +echo "building for $dirs" #sanity check for REQUIRED directories for app in $dirs