diff options
author | midipix <writeonce@midipix.org> | 2019-10-26 21:41:24 +0000 |
---|---|---|
committer | midipix <writeonce@midipix.org> | 2019-10-26 22:35:19 +0000 |
commit | a2d21a98e4426a5e031a0fa59e1e312be2624538 (patch) | |
tree | 5a305a6aeec336960b1fca1c6865436c6a9df360 | |
parent | 9bd82c8ca68a82722f0aa8be9bdf6d634fb83919 (diff) | |
download | w32lib-a2d21a98e4426a5e031a0fa59e1e312be2624538.tar.bz2 w32lib-a2d21a98e4426a5e031a0fa59e1e312be2624538.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 |