diff options
| -rw-r--r-- | Makefile.tpl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.tpl b/Makefile.tpl index 45facba..4450f69 100644 --- a/Makefile.tpl +++ b/Makefile.tpl @@ -560,7 +560,7 @@ STAGEtrain_TFLAGS = $(filter-out -fchecking=1,$(STAGE3_TFLAGS)) STAGEfeedback_CFLAGS = $(STAGE4_CFLAGS) -fprofile-use -fprofile-reproducible=parallel-runs STAGEfeedback_TFLAGS = $(STAGE4_TFLAGS) -STAGEautoprofile_CFLAGS = $(STAGE2_CFLAGS) -g +STAGEautoprofile_CFLAGS = $(filter-out -gtoggle,$(STAGE2_CFLAGS)) -g STAGEautoprofile_TFLAGS = $(STAGE2_TFLAGS) STAGEautofeedback_CFLAGS = $(STAGE3_CFLAGS) |