From 5c3e2b6526b22015ddec692450f5c5077efa1d80 Mon Sep 17 00:00:00 2001
From: Holger Vogt <holger.vogt@uni-due.de>
Date: Tue, 5 May 2020 20:55:22 +0200
Subject: [PATCH] 'make clean' added

---
 build-for-mac-os.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build-for-mac-os.sh b/build-for-mac-os.sh
index c123cb21e..3f8805506 100755
--- a/build-for-mac-os.sh
+++ b/build-for-mac-os.sh
@@ -29,6 +29,7 @@
 # The last two lines may depend on the lib installations
 # please check if there are any problems
 
+make clean
 make -j4
 make DESTDIR="$(pwd)/root-tree" install