diff --git a/src/maketools/check_module.sh b/src/maketools/check_module.sh index e96402e03b4b1d4fa5f02cef18bcca18a93287d8..0036854469455ec3260907b135efa05308ea15c4 100755 --- a/src/maketools/check_module.sh +++ b/src/maketools/check_module.sh @@ -6,7 +6,7 @@ msg="ERROR: this module depends on $dir, which is presently disabled" cd ../ -if test -f $dir/module.type +if test -f "$dir/module.type" then case "$(cat "$dir/module.type")" in (always) exit 0 ;; diff --git a/src/maketools/find_modules.sh b/src/maketools/find_modules.sh index 410cbfd73d59df09d5c1e7a0ee336434418729d7..66aba5e4cdf41b4b538961931ff014989d756bfa 100755 --- a/src/maketools/find_modules.sh +++ b/src/maketools/find_modules.sh @@ -4,7 +4,7 @@ cd ../ for dir in * do - if test -f $dir/module.type + if test -f "$dir/module.type" then case "$(cat "$dir/module.type")" in (always) echo $dir ;; diff --git a/src/maketools/update-config-txt.sh b/src/maketools/update-config-txt.sh index 45998896a2961bd57ce394b58dc934be6676f6d2..16ea07c78ed89a81c4e5fddf85b6b19c0e48b264 100755 --- a/src/maketools/update-config-txt.sh +++ b/src/maketools/update-config-txt.sh @@ -72,7 +72,7 @@ modules=$( cd ../ for dir in * do - if test -f $dir/module.type + if test -f "$dir/module.type" then mtype="$(cat "$dir/module.type")" is=""