osmocom
/
osmo-dev
mirror of https://gerrit.osmocom.org/osmo-dev
11
0
Fork 0
Code Releases Activity

ttcn3.sh: clone_repo: avoid make if possible 

Change-Id: I54ad32c9fc51dc91c70b61fe91e68257985f310f
This commit is contained in:
Oliver Smith 2021-08-26 18:03:17 +02:00
parent 8d8ddf4124
commit 5f611c76b3
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
ttcn3/ttcn3.sh
View File

@ -125,7 +125,9 @@ setup_dir_make() {
# $1: name of repository (e.g. osmo-ttcn3-hacks)
clone_repo() {
make -C "$DIR_MAKE" ".make.${1}.clone"
if ! [ -e "$DIR_OSMODEV/ttcn3/make/.make.${1}.clone" ]; then
make -C "$DIR_MAKE" ".make.${1}.clone"
fi
}
# Require testsuite dir and docker-playground dir