diff options
author | midipix <writeonce@midipix.org> | 2019-10-26 21:41:24 +0000 |
---|---|---|
committer | midipix <writeonce@midipix.org> | 2019-10-26 22:35:18 +0000 |
commit | 0dcd9c00c295f86db56b249a9f78bd89f88bef8d (patch) | |
tree | 48e6684f6f70a2b55821ed0ce9f0516cafd22db6 | |
parent | 0177a616fba4295ff5271772e4d13a1886b6ba85 (diff) | |
download | u16ports-0dcd9c00c295f86db56b249a9f78bd89f88bef8d.tar.bz2 u16ports-0dcd9c00c295f86db56b249a9f78bd89f88bef8d.tar.xz |
build system: configure: added verify_safe_path().
-rwxr-xr-x | configure | 26 |
1 files changed, 26 insertions, 0 deletions
@@ -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 |