ttcn3.sh: use --auto-distclean

Change-Id: I7d61405dc989eed4935bc6de00e36c1f3b18a428
2021-10-04 13:30:31 +02:00 · 2021-10-04 13:30:31 +02:00 · 6c7fed8a32
parent adfa0c0cf1
commit 6c7fed8a32
1 changed files with 2 additions and 1 deletions
--- a/ttcn3/ttcn3.sh
+++ b/ttcn3/ttcn3.sh
@ -110,7 +110,8 @@ setup_dir_make() {
 		--docker-cmd "$docker_cmd" \
 		--make-dir "$DIR_MAKE" \
 		--no-ldconfig \
-		--no-make-check
+		--no-make-check \
+		--auto-distclean
 }

 # $1: name of repository (e.g. osmo-ttcn3-hacks)