summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authormidipix <writeonce@midipix.org>2020-01-09 07:45:56 +0000
committermidipix <writeonce@midipix.org>2020-01-09 07:49:46 +0000
commitd0f155c0b94e089cf2a4d0a090d979faac1d5be1 (patch)
treeff83d3002fa0921f99e113c8b1e0a057e453d8c6 /configure
parent6aaf8d81c3371e2dd15b94bb34eaaec729b8a9bd (diff)
downloadmdso-d0f155c0b94e089cf2a4d0a090d979faac1d5be1.tar.bz2
mdso-d0f155c0b94e089cf2a4d0a090d979faac1d5be1.tar.xz
build system: configure: verify_source_directory(): disallow spaces in path.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure7
1 files changed, 7 insertions, 0 deletions
diff --git a/configure b/configure
index 98a77db..76fc5b8 100755
--- a/configure
+++ b/configure
@@ -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."