diff options
| author | Florian Hahn <flo@fhahn.com> | 2015-11-16 12:06:46 +0100 |
|---|---|---|
| committer | Florian Hahn <flo@fhahn.com> | 2015-11-16 23:57:21 +0100 |
| commit | 9612c9ab2074ad8187b505d53682babc209a3ddd (patch) | |
| tree | 50afcfb2148ada75eb892777a243c709ab4cceac | |
| parent | 02d9f294558da746e8c5707f13cd9153d3ac5f40 (diff) | |
| download | rust-9612c9ab2074ad8187b505d53682babc209a3ddd.tar.gz rust-9612c9ab2074ad8187b505d53682babc209a3ddd.zip | |
Abort configure if source path contains spaces, closes #18477
| -rwxr-xr-x | configure | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/configure b/configure index 4fb6cb53bd8..4ce8c3c48a4 100755 --- a/configure +++ b/configure @@ -541,6 +541,16 @@ CFG_BUILD_DIR="$(pwd)/" CFG_SELF="$0" CFG_CONFIGURE_ARGS="$@" + +case "${CFG_SRC_DIR}" in + *\ * ) + err "The path to the rust source directory contains spaces, which is not supported" + ;; + *) + ;; +esac + + OPTIONS="" HELP=0 if [ "$1" = "--help" ] |