diff options
Diffstat (limited to 'devel/eclipse-titan/files/patch-xsdconvert-Makefile')
| -rw-r--r-- | devel/eclipse-titan/files/patch-xsdconvert-Makefile | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/devel/eclipse-titan/files/patch-xsdconvert-Makefile b/devel/eclipse-titan/files/patch-xsdconvert-Makefile new file mode 100644 index 000000000000..c34e1b8b2776 --- /dev/null +++ b/devel/eclipse-titan/files/patch-xsdconvert-Makefile @@ -0,0 +1,12 @@ +--- xsdconvert/Makefile.orig 2024-11-14 11:50:43 UTC ++++ xsdconvert/Makefile +@@ -83,6 +83,9 @@ install: $(TARGETS) + $(CXX) $(LDFLAGS) -o $@ $(OBJECTS) $(LDLIBS) $(MINGW_LIBS) + + install: $(TARGETS) ++ifeq ($(DEBUG), no) ++ $(STRIP) $(TARGETS) ++endif + ifdef MINGW + mkdir -p $(TTCN3_DIR)/programs + cp $(TARGETS) $(TTCN3_DIR)/programs |