Fix sanitizing of dir names

Author: FredTreg

docker/build.sh

@@ -19,7 +19,7 @@ find ${SRC_DIR} -name pom.xml -print0 |
     while IFS= read -r -d $'\0' line; do 
         current_src_dir=$(dirname "${line}")
         sub_dir_dirty=${current_src_dir#${SRC_DIR}}
-        sub_dir="${sub_dir_dirty//+([^[:alnum:]_-\.])/_}"
+        sub_dir="${sub_dir_dirty//+([^[:alnum:]_-\.\/])/_}"
         current_target_dir=${TARGET_DIR}/${sub_dir}
         mkdir -p "${current_target_dir}"
         cd "${current_src_dir}"

docker/kotlin-compiler-junit-runner.sh

@@ -17,9 +17,11 @@ mkdir -p "${WORKSPACE_DIR}"
 SOURCE_DIR=$(pwd)
 JARS_DIR=${BUILD_DIR}
 
+shopt -s extglob
+
 if [ "$#" == "2" ]; then
     sub_dir_dirty="$1"
-    sub_dir="${sub_dir_dirty//+([^[:alnum:]_-\.])/_}"
+    sub_dir="${sub_dir_dirty//+([^[:alnum:]_-\.\/])/_}"
     SOURCE_DIR="$(pwd)/${sub_dir_dirty}"
     JARS_DIR="${BUILD_DIR}/${sub_dir}"
     shift