diff options
author | midipix <writeonce@midipix.org> | 2020-01-09 07:45:56 +0000 |
---|---|---|
committer | midipix <writeonce@midipix.org> | 2020-01-09 07:49:46 +0000 |
commit | d0f155c0b94e089cf2a4d0a090d979faac1d5be1 (patch) | |
tree | ff83d3002fa0921f99e113c8b1e0a057e453d8c6 | |
parent | 6aaf8d81c3371e2dd15b94bb34eaaec729b8a9bd (diff) | |
download | mdso-d0f155c0b94e089cf2a4d0a090d979faac1d5be1.tar.bz2 mdso-d0f155c0b94e089cf2a4d0a090d979faac1d5be1.tar.xz |
build system: configure: verify_source_directory(): disallow spaces in path.
-rwxr-xr-x | configure | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -288,6 +288,13 @@ verify_source_directory() { output_step_prolog ${mb_script} 'verify_source_directory' + if [ _"$mb_source_dir" != _${mb_source_dir##* } ]; then + error_msg "source directory path contains spaces, aborting." + exit 1 + fi + + eval mb_source_dir=$(printf '%s' "$mb_source_dir") + if [ -z "$mb_source_dir" ]; then if [ _$mb_require_source_dir = _yes ]; then error_msg "$mb_package: specifying an external source directory is required." |