From 87db8a2676e07b2b31a9cdd21b23e594503a28c8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Manuel=20P=C3=A9gouri=C3=A9-Gonnard?= Date: Fri, 18 Jun 2021 13:30:14 +0200 Subject: [PATCH] Clean up old files before generating them MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Manuel Pégourié-Gonnard --- tests/scripts/all.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/tests/scripts/all.sh b/tests/scripts/all.sh index 142309957..7974f9b9f 100755 --- a/tests/scripts/all.sh +++ b/tests/scripts/all.sh @@ -651,6 +651,9 @@ pre_check_tools () { } pre_generate_files() { + # since make doesn't have proper dependencies, remove any possibly outdate + # file that might be around before generating fresh ones + make neat make generated_files }