diff options
| author | Rickard Green <[email protected]> | 2019-03-05 16:23:33 +0100 |
|---|---|---|
| committer | Rickard Green <[email protected]> | 2019-03-05 16:23:33 +0100 |
| commit | d395b625fab5a5b0119123e4c956c7efecf50662 (patch) | |
| tree | 405e3e4971fbaff5649a584181a8de359e0784b7 /configure.src | |
| parent | 4a8569345b99f05f5344ca19748f47d19a3ae597 (diff) | |
| download | otp-d395b625fab5a5b0119123e4c956c7efecf50662.tar.gz otp-d395b625fab5a5b0119123e4c956c7efecf50662.tar.bz2 otp-d395b625fab5a5b0119123e4c956c7efecf50662.zip | |
Fix build of bootstrap
Diffstat (limited to 'configure.src')
| -rw-r--r-- | configure.src | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/configure.src b/configure.src index 889902eb96..4b748f2545 100644 --- a/configure.src +++ b/configure.src @@ -70,8 +70,10 @@ while test $# != 0; do ERL_TOP="$user_srcdir" ;; --enable-bootstrap-only) + config_arguments="$config_arguments --enable-bootstrap-only" bootstrap_only=yes;; --disable-bootstrap-only) + config_arguments="$config_arguments --disable-bootstrap-only" bootstrap_only=no;; --enable-option-checking) echo "ERROR: Cannot enable option checking" 1>&2 |