regen_makefile.sh: set executable name explicitly
Set the executable name in each regen_makefile.sh explicitly with -e,
instead of having it set indirectly from the first .ttcn file. Make it
consistent by placing the name on top of each of these files.
Fix for warning:
ttcn3_makefilegen: warning: File `BSC_Tests.ttcn' was given more than once for the Makefile.
Related: OS#5252
Change-Id: I5ed03f8f3ed905483620dc7bae33b617bbb8507f
diff --git a/smlc/regen_makefile.sh b/smlc/regen_makefile.sh
index 24e3407..180486c 100755
--- a/smlc/regen_makefile.sh
+++ b/smlc/regen_makefile.sh
@@ -1,6 +1,6 @@
#!/bin/sh
-MAIN=SMLC_Tests.ttcn
+NAME=SMLC_Tests
FILES="
*.c
@@ -32,4 +32,4 @@
-DUSE_MTP3_DISTRIBUTOR
"
-../regen-makefile.sh $MAIN $FILES
+../regen-makefile.sh -e $NAME $FILES