mirror of https://gerrit.osmocom.org/osmo-dev
ttcn3.sh: use no_{dahdi,optimization,doxygen}.opts
Change-Id: If4e5f271d31ebba25ff7c945ee962aefb4a848fa
This commit is contained in:
parent
96a12a1681
commit
10da26d3f1
|
@ -131,7 +131,15 @@ setup_dir_make() {
|
||||||
echo "osmo-ttcn3-hacks"
|
echo "osmo-ttcn3-hacks"
|
||||||
echo "osmocom-bb") > ttcn3/3G+2G_ttcn3.deps
|
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)
|
# $1: name of repository (e.g. osmo-ttcn3-hacks)
|
||||||
|
|
Loading…
Reference in New Issue