diff options
| author | Richard Biener <rguenther@suse.de> | 2018-04-30 08:18:03 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2018-04-30 08:18:03 +0000 |
| commit | bece35ca280ed20a8c9bb540881c79fa4bd28cff (patch) | |
| tree | 5221f79e0e264cfb9f8738d02501c82bff64a79f /Makefile.in | |
| parent | 2925cd9d1c9d9e03a55f9f67ab81ead94f9e4f6c (diff) | |
re PR bootstrap/85571 (non-bootstrap-debug miscompare with trunk)
2018-04-30 Richard Biener <rguenther@suse.de>
PR bootstrap/85571
* Makefile.tpl (STAGE3_CFLAGS): Use -fchecking=1.
(STAGE3_TFLAGS): Likewise.
(STAGEtrain_CFLAGS): Filter out -fchecking=1.
(STAGEtrain_TFLAGS): Likewise.
* Makefile.in: Regenerate.
* dwarf2out.c (gen_producer_string): Ignore -fchecking[=].
From-SVN: r259755
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Makefile.in b/Makefile.in index 4f5bbf75c98..2bf83b72265 100644 --- a/Makefile.in +++ b/Makefile.in @@ -536,14 +536,14 @@ STAGE1_CONFIGURE_FLAGS = --disable-intermodule $(STAGE1_CHECKING) \ STAGE1_TFLAGS += -fno-checking STAGE2_CFLAGS += -fno-checking STAGE2_TFLAGS += -fno-checking -STAGE3_CFLAGS += -fchecking -STAGE3_TFLAGS += -fchecking +STAGE3_CFLAGS += -fchecking=1 +STAGE3_TFLAGS += -fchecking=1 STAGEprofile_CFLAGS = $(STAGE2_CFLAGS) -fprofile-generate STAGEprofile_TFLAGS = $(STAGE2_TFLAGS) -STAGEtrain_CFLAGS = $(filter-out -fchecking,$(STAGE3_CFLAGS)) -STAGEtrain_TFLAGS = $(filter-out -fchecking,$(STAGE3_TFLAGS)) +STAGEtrain_CFLAGS = $(filter-out -fchecking=1,$(STAGE3_CFLAGS)) +STAGEtrain_TFLAGS = $(filter-out -fchecking=1,$(STAGE3_TFLAGS)) STAGEfeedback_CFLAGS = $(STAGE4_CFLAGS) -fprofile-use STAGEfeedback_TFLAGS = $(STAGE4_TFLAGS) |