From 18a7f0086b7ac97f15beb712214ff2c8e939c9f3 Mon Sep 17 00:00:00 2001
From: Klas Arvidsson <klas.arvidsson@liu.se>
Date: Wed, 22 Nov 2023 17:32:22 +0000
Subject: [PATCH] Make a clean rebuild on repo on_update

---
 files/tal/on_update.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/files/tal/on_update.sh b/files/tal/on_update.sh
index 77b49af..f58e260 100644
--- a/files/tal/on_update.sh
+++ b/files/tal/on_update.sh
@@ -8,7 +8,7 @@ sed -i 's|url = \.\./database|url = https://oauth2:glpat-WeW_ytbQ83JMs2UnQmhe@gi
 git submodule update --init
 git checkout .gitmodules
 
-make
+make clean all
 
 cd ..
 ln -s source/oracle oracle
-- 
GitLab