diff options
author | Harald Welte <laforge@osmocom.org> | 2020-03-01 22:44:55 +0100 |
---|---|---|
committer | Harald Welte <laforge@osmocom.org> | 2020-03-02 14:25:47 +0100 |
commit | 9d09c4d3fdb69af3928f8bc4a8b997005d371afe (patch) | |
tree | 910958c2875685b3186399ace30d0c5f05d27d7e /regen-makefile.sh | |
parent | 4895d7a1d3d3124fcbdf2bd9ef3c1f5d3ee16d4e (diff) |
ttcn3_makefilegen: Generate gnu make files (we use Linux...)
Change-Id: I21de4dd375139ad24c742c12a948f7ba0b0ade76
Diffstat (limited to 'regen-makefile.sh')
-rwxr-xr-x | regen-makefile.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/regen-makefile.sh b/regen-makefile.sh index 7be47bb1..a2aa946f 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") |