From 10da26d3f1028b0c69b66b16eadf09ca392fb128 Mon Sep 17 00:00:00 2001
From: Oliver Smith <osmith@sysmocom.de>
Date: Tue, 7 Jan 2020 13:17:54 +0100
Subject: [PATCH] ttcn3.sh: use no_{dahdi,optimization,doxygen}.opts

Change-Id: If4e5f271d31ebba25ff7c945ee962aefb4a848fa
---
 ttcn3/ttcn3.sh | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/ttcn3/ttcn3.sh b/ttcn3/ttcn3.sh
index 5322182..f9297b7 100755
--- a/ttcn3/ttcn3.sh
+++ b/ttcn3/ttcn3.sh
@@ -131,7 +131,15 @@ setup_dir_make() {
           echo "osmo-ttcn3-hacks"
 	  echo "osmocom-bb") > ttcn3/3G+2G_ttcn3.deps
 
-	./gen_makefile.py ttcn3/3G+2G_ttcn3.deps default.opts iu.opts no_systemd.opts ttcn3/ttcn3.opts -I -m "$DIR_MAKE"
+	./gen_makefile.py \
+		ttcn3/3G+2G_ttcn3.deps \
+		default.opts \
+		iu.opts \
+		no_systemd.opts \
+		no_doxygen.opts \
+		no_dahdi.opts \
+		no_optimization.opts \
+		ttcn3/ttcn3.opts -I -m "$DIR_MAKE"
 }
 
 # $1: name of repository (e.g. osmo-ttcn3-hacks)