summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorjakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>2016-05-01 10:49:25 +0000
committerjakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>2016-05-01 10:49:25 +0000
commitbee4f5e52831268a7afda51617aa2c09333468d1 (patch)
tree548d64b4c1866ea76e36ae272c7a6eca3263a451 /configure
parent8a7999f9c7fb6a2be2fca1b410ec9c200b3de457 (diff)
downloadgcc-bee4f5e52831268a7afda51617aa2c09333468d1.tar.gz
PR bootstrap/70704
* configure.ac (--enable-stage1-checking): Add missing --enable-checking=. * configure: Regenerated. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@235692 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure2
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index 3c1e99ae1fe..d17b477f127 100755
--- a/configure
+++ b/configure
@@ -14857,7 +14857,7 @@ else
if test "x$enable_checking" = x && \
test -d ${srcdir}/gcc && \
test x"`cat ${srcdir}/gcc/DEV-PHASE`" = xexperimental; then
- stage1_checking=yes,types,extra
+ stage1_checking=--enable-checking=yes,types,extra
fi
else
stage1_checking=--enable-checking=$enable_checking,types