From ef532a0b3935fada9d45be9b98daf44da8023447 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Thu, 26 Sep 2019 11:41:49 +0200
Subject: [PATCH] [makefile] improve e-acsl-disdistclean

---
 src/plugins/e-acsl/Makefile.in | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 414ffd093bc..c4f3be570ff 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -257,9 +257,9 @@ EACSL_CLEANFILES = doc/doxygen/doxygen.cfg \
 	Makefile config.log config.status configure .depend autom4te.cache/* \
 	META.frama-c-e_acsl Makefile.plugin.generated src/local_config.ml top/*
 
-e-acsl-distclean:: clean
+e-acsl-distclean: clean
 	$(PRINT_RM) generated project files
-	$(RM) $(addprefix $(E_ACSL_DIR)/, $(EACSL_CLEANFILES))
+	$(RM) $(wildcard $(addprefix $(E_ACSL_DIR)/, $(EACSL_CLEANFILES)))
 
 ################################
 # Building source distribution #
-- 
GitLab