tools: divide_tests.sh - env variable for selecting *_run.sh script used for testing

tools/divide_tests.sh

@@ -2,12 +2,14 @@
 
 # Sorts .rpl tests into several categories.
 # Takes a diretory with the tests as an argument and moves the test to its subdirectories.
+# Env variable SCRIPT= sets *_run.sh script for finding working tests, default script is kresd_run.sh
 
 set -o nounset
 set -o errexit
 
 SOURCE="$1"
 
+SCRIPT=${SCRIPT:-"./../kresd_run.sh"}
 
 # Test with the same name is already imported in deckard/sets/resolver
 echo Already imported:
@@ -44,22 +46,18 @@ do
 done
 
 
-# Working on kresd in deckard 
-echo Working:
+# Working in selected script 
+echo Working in $SCRIPT:
 mkdir -p "$SOURCE/working"
-
 for TEST in "$SOURCE/"*.rpl
 do
-    if TESTS="$(readlink -m $TEST)" ./../kresd_run.sh >/dev/null 2>/dev/null
+    if TESTS="$(readlink -m $TEST)" $SCRIPT >/dev/null 2>/dev/null
     then 
         echo -e '\t' $(basename "$TEST")
         mv "$TEST" "$SOURCE/working"
     fi
 done
 
-
-
-# Others TODO: sem nic nepadá a to je divný, asi chyba, neviem
 echo Others:
 mkdir -p "$SOURCE/others"
 for TEST in "$SOURCE/"*.rpl