ttcn3.sh: run gen_makefile.py with --no-make-check

On my system, when building all components in docker, some of the C tests
don't pass (but they do pass on jenkins.osmocom.org, which runs a
similar setup). Do the easy workaround and just disable C tests, the
point of ttcn3.sh is to have fast ttcn-3 test iterations anyway, running
the C tests additionally slow each iteration down. One can run the C
tests before submitting changes, e.g. by building with osmo-dev without
ttcn3.sh.

Change-Id: I946635f1ec09f23428965f3db514027f64921fe4

ttcn3/ttcn3.sh

@@ -118,7 +118,8 @@ setup_dir_make() {
 		ttcn3/ttcn3.opts \
 		--docker-cmd "$docker_cmd" \
 		--make-dir "$DIR_MAKE" \
-		--no-ldconfig
+		--no-ldconfig \
+		--no-make-check
 }
 
 # $1: name of repository (e.g. osmo-ttcn3-hacks)