diff --git a/redo-everything-from-scratch b/redo-everything-from-scratch index b161d98..cc3050b 100755 --- a/redo-everything-from-scratch +++ b/redo-everything-from-scratch @@ -6,8 +6,9 @@ NORMAL="\033[0m" OK="\033[1;32m OK \033[0m" FAIL="\033[1;31m FAILED \033[0m" -branch=$1 +restart=$1 compiler=$2 +branch=$3 if [ "$compiler" == "" ]; then @@ -32,7 +33,7 @@ else fi # directories to handle -dirs='scripts ticcutils timbl timblserver timbltests mbt mbtserver mbttests dimbl libfolia FoLiApy foliatest uctodata ucto frogdata frog frogtests foliautils ticcltools toad wopr' +dirs="scripts ticcutils timbl timblserver timbltests mbt mbtserver mbttests dimbl libfolia FoLiApy foliatest uctodata ucto frogdata frog frogtests foliautils ticcltools toad wopr" # optional directories optdirs='colibri-core colibri-utils' @@ -40,6 +41,27 @@ optdirs='colibri-core colibri-utils' # executables to test (using -V only) exes='timbl timblserver mbt mbtserver dimbl ucto frog folialint FoLiA-stats FoLiA-alto FoLiA-hocr TICCL-lexclean TICCL-indexerNT wopr' +partdirs=() +if [ $restart != "" ] +then + for app in $dirs + do +# echo "app=$app restart=$restart" + if [ $app = $restart ] + then + partdirs+="$app " + restart="seenitall" + else + if [ $restart = "seenitall" ] + then + partdirs+="$app " + fi + fi + done +fi + +dirs=$partdirs + #sanity check for REQUIRED directories for app in $dirs do