diff options
Diffstat (limited to 'debian/patches/gdc-profiledbuild.diff')
-rw-r--r-- | debian/patches/gdc-profiledbuild.diff | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/debian/patches/gdc-profiledbuild.diff b/debian/patches/gdc-profiledbuild.diff deleted file mode 100644 index 2c1624b..0000000 --- a/debian/patches/gdc-profiledbuild.diff +++ /dev/null @@ -1,19 +0,0 @@ -# DP: Don't build gdc build tools idgen and impcnvgen with profiling flags - ---- a/src/gcc/d/Make-lang.in -+++ b/src/gcc/d/Make-lang.in -@@ -97,6 +97,14 @@ - d/impcvgen: d/impcnvgen.dmdgen.o - +$(LINKER_FOR_BUILD) $(BUILD_LINKER_FLAGS) $(BUILD_LDFLAGS) -o $@ $^ - -+d/idgen.dmdgen.o: d/dfrontend/idgen.c -+ $(filter-out -fprofile-%,$(DMD_COMPILE)) $(D_INCLUDES) $< -+ $(POSTCOMPILE) -+ -+d/impcnvgen.dmdgen.o: $(srcdir)/d/dfrontend/impcnvgen.c -+ $(filter-out -fprofile-%,$(DMDGEN_COMPILE)) $(D_INCLUDES) $< -+ $(POSTCOMPILE) -+ - # Generated sources. - d/id.c: d/idgen - cd d && ./idgen |