diff options
author | midipix <writeonce@midipix.org> | 2020-01-09 07:45:56 +0000 |
---|---|---|
committer | midipix <writeonce@midipix.org> | 2020-01-09 07:49:47 +0000 |
commit | 16e9bc2eb07ff566c55987aa00af7be7509565d0 (patch) | |
tree | 7ed351a0bf561fe26268b85f1ad71ee88cc4d859 | |
parent | 9ce55c2ff6bc443385f468d160c67d55ecdc6c3d (diff) | |
download | w32lib-16e9bc2eb07ff566c55987aa00af7be7509565d0.tar.bz2 w32lib-16e9bc2eb07ff566c55987aa00af7be7509565d0.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." |