mirror of https://gerrit.osmocom.org/osmo-dev
ttcn3.sh: clean osmo-ttcn3-hacks too
Change-Id: Id0fdf5e3f0917e56e3c6abff54a2f886367252f5
This commit is contained in:
parent
375587cfa8
commit
238c7de87e
|
@ -27,6 +27,11 @@ clean() {
|
||||||
"$DIR_MAKE" \
|
"$DIR_MAKE" \
|
||||||
"$DIR_OUTPUT" \
|
"$DIR_OUTPUT" \
|
||||||
"$DIR_USR_LOCAL"
|
"$DIR_USR_LOCAL"
|
||||||
|
|
||||||
|
if [ -d "$DIR_OSMODEV/src/osmo-ttcn3-hacks" ]; then
|
||||||
|
make -C "$DIR_OSMODEV/src/osmo-ttcn3-hacks" clean
|
||||||
|
fi
|
||||||
|
|
||||||
exit 0
|
exit 0
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue