diff options
Diffstat (limited to '')
| -rw-r--r-- | devel/eclipse-titan/files/patch-loggerplugins-JUnitLogger-Makefile | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/devel/eclipse-titan/files/patch-loggerplugins-JUnitLogger-Makefile b/devel/eclipse-titan/files/patch-loggerplugins-JUnitLogger-Makefile new file mode 100644 index 000000000000..bee81fe3d5ea --- /dev/null +++ b/devel/eclipse-titan/files/patch-loggerplugins-JUnitLogger-Makefile @@ -0,0 +1,12 @@ +--- loggerplugins/JUnitLogger/Makefile.orig 2024-11-14 11:50:43 UTC ++++ loggerplugins/JUnitLogger/Makefile +@@ -96,6 +96,9 @@ install: $(SHARED_LIB) $(SHARED_LIB_RT2) $(SHARED_LIB_ + @echo Doing nothing... + + install: $(SHARED_LIB) $(SHARED_LIB_RT2) $(SHARED_LIB_PARALLEL) $(SHARED_LIB_PARALLEL_RT2) ++ifeq ($(DEBUG), no) ++ $(STRIP) $(SHARED_LIB)* $(SHARED_LIB_RT2)* $(SHARED_LIB_PARALLEL)* $(SHARED_LIB_PARALLEL_RT2)* ++endif + mkdir -p $(LIB_DIR) + cp $(SHARED_LIB)* $(SHARED_LIB_RT2)* $(SHARED_LIB_PARALLEL)* $(SHARED_LIB_PARALLEL_RT2)* $(LIB_DIR) + |