summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authormidipix <writeonce@midipix.org>2019-10-26 21:41:24 +0000
committermidipix <writeonce@midipix.org>2019-10-26 21:41:24 +0000
commit742540854e7016b00ccf1e039ca7890036531727 (patch)
tree579cc36192e8e06d510ffb889d15834051c7b959
parent53372e85deded57ba9a81430e94d1b4a39f72f9b (diff)
downloadsofort-742540854e7016b00ccf1e039ca7890036531727.tar.bz2
sofort-742540854e7016b00ccf1e039ca7890036531727.tar.xz
build system: configure: added verify_safe_path().
-rwxr-xr-xconfigure26
1 files changed, 26 insertions, 0 deletions
diff --git a/configure b/configure
index 222785a..4268290 100755
--- a/configure
+++ b/configure
@@ -46,12 +46,34 @@ warning_msg()
printf '%s' "$@" >&2
}
+verify_safe_path()
+{
+ case "$mb_safe_path_name" in
+ -*)
+ error_msg "$mb_safe_path_desc may not begin with a hyphen."
+ exit 2
+ ;;
+
+ *\ *)
+ error_msg "$mb_safe_path_desc may not contain spaces."
+ exit 2
+ ;;
+ esac
+}
init_vars()
{
mb_project_dir=$(cd -- "${mb_script%/*}/" ; pwd -P)
mb_pwd=$(pwd -P)
+ mb_safe_path_desc='project directory'
+ mb_safe_path_name="$mb_project_dir"
+ verify_safe_path
+
+ mb_safe_path_desc='working directory'
+ mb_safe_path_name="$mb_pwd"
+ verify_safe_path
+
mb_custom_cfgdefs_args=''
mb_custom_cfgdefs_space=''
@@ -741,6 +763,10 @@ for arg ; do
fi
;;
esac
+
+ mb_safe_path_desc='source directory'
+ mb_safe_path_name="$mb_source_dir"
+ verify_safe_path
done