From 9d09c4d3fdb69af3928f8bc4a8b997005d371afe Mon Sep 17 00:00:00 2001 From: Harald Welte Date: Sun, 1 Mar 2020 22:44:55 +0100 Subject: [PATCH] ttcn3_makefilegen: Generate gnu make files (we use Linux...) Change-Id: I21de4dd375139ad24c742c12a948f7ba0b0ade76 --- regen-makefile.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/regen-makefile.sh b/regen-makefile.sh index 7be47bb1c..a2aa946fa 100755 --- a/regen-makefile.sh +++ b/regen-makefile.sh @@ -40,7 +40,7 @@ if [ -z "$USE_CCACHE" ] && which ccache 2>/dev/null; then USE_CCACHE=1 fi -ttcn3_makefilegen -p -l -U 5 -f $* +ttcn3_makefilegen -g -p -l -U 5 -f $* TITAN_VERSION=$(ttcn3_makefilegen -v 2>&1 |grep "Product number" |cut --delimiter="/" -f 2-| sed -e "s/[A-Z ]//g")