summaryrefslogtreecommitdiffhomepage
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:47 +0000
commit07415f26612442b909853362f71fb140da6f531e (patch)
tree9c125974791d7949f10c2c41fe8b05c17b7889dc /configure
parent28d4d7264250c28902f96cc5297f81204159cbfa (diff)
downloadpemagine-07415f26612442b909853362f71fb140da6f531e.tar.bz2
pemagine-07415f26612442b909853362f71fb140da6f531e.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."