From d395b625fab5a5b0119123e4c956c7efecf50662 Mon Sep 17 00:00:00 2001 From: Rickard Green Date: Tue, 5 Mar 2019 16:23:33 +0100 Subject: Fix build of bootstrap --- configure.src | 2 ++ 1 file changed, 2 insertions(+) (limited to 'configure.src') 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 -- cgit v1.2.3