From 5f611c76b3477e813389df29871fc0bf6c9a21ac Mon Sep 17 00:00:00 2001 From: Oliver Smith Date: Thu, 26 Aug 2021 18:03:17 +0200 Subject: [PATCH] ttcn3.sh: clone_repo: avoid make if possible Change-Id: I54ad32c9fc51dc91c70b61fe91e68257985f310f --- ttcn3/ttcn3.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/ttcn3/ttcn3.sh b/ttcn3/ttcn3.sh index ea9a925..826fb40 100755 --- a/ttcn3/ttcn3.sh +++ b/ttcn3/ttcn3.sh @@ -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