From 9e83e94e6cbf4702c19c140f128aa3406484dc36 Mon Sep 17 00:00:00 2001
From: Giovanni Bussi <giovanni.bussi@gmail.com>
Date: Mon, 4 Jun 2018 18:27:46 +0200
Subject: [PATCH] small fix
just annoying when there are directories whose name contains a space
within the src/ directory
---
src/maketools/check_module.sh | 2 +-
src/maketools/find_modules.sh | 2 +-
src/maketools/update-config-txt.sh | 2 +-
3 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/maketools/check_module.sh b/src/maketools/check_module.sh
index e96402e03..003685446 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 410cbfd73..66aba5e4c 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 4efebe16f..8a8214afd 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=""
--
GitLab