summaryrefslogtreecommitdiffstats
path: root/regen-makefile.sh
diff options
context:
space:
mode:
Diffstat (limited to 'regen-makefile.sh')
-rwxr-xr-xregen-makefile.sh3
1 files changed, 3 insertions, 0 deletions
diff --git a/regen-makefile.sh b/regen-makefile.sh
index a9f8562..5a4dd4c 100755
--- a/regen-makefile.sh
+++ b/regen-makefile.sh
@@ -33,6 +33,9 @@ sed -i -e 's/LDFLAGS = /LDFLAGS = -L \/usr\/lib\/titan /' Makefile
# see https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=879816 for details
sed -i -e 's/CPPFLAGS = -D$(PLATFORM) -I$(TTCN3_DIR)\/include/CPPFLAGS = -D$(PLATFORM) -DMAKEDEPEND_RUN -DUSE_SCTP -I$(TTCN3_DIR)\/include -I\/usr\/include\/titan/' Makefile
+#remove -Wall from CXXFLAGS: we're not interested in generic warnings for autogenerated code cluttering the logs
+sed -i -e 's/-Wall//' Makefile
+
if [ "x$CPPFLAGS_TTCN3" != "x" ]; then
sed -i -e 's/CPPFLAGS_TTCN3 =/CPPFLAGS_TTCN3 = '"$CPPFLAGS_TTCN3"'/' Makefile
fi