From d3eb8d493a08f3c8d169f86212ebff5b021b2223 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Fri, 24 Jun 2022 14:08:51 +0200
Subject: [PATCH] [bin] update rebuild scripts

---
 bin/rebuild.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/bin/rebuild.sh b/bin/rebuild.sh
index f50cecdb02c..433fd449093 100755
--- a/bin/rebuild.sh
+++ b/bin/rebuild.sh
@@ -1,3 +1,4 @@
+#!/bin/sh
 ##########################################################################
 #                                                                        #
 #  This file is part of Frama-C.                                         #
@@ -21,10 +22,9 @@
 ##########################################################################
 
 make -k clean
-find src \( -name "*.cm*" -or -name "*.o" \) -delete -print
+rm -fr _build
 rm -fr config.status autom4te.cache/
 autoconf -f
 ./configure
 make clean
-make depend
 make -kj
-- 
GitLab