From e3609af0a66fb634a7ecec38c800f5442ffa93f2 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Thu, 25 Feb 2016 08:40:25 +0100
Subject: [PATCH] [Makefile] fix 'make clean' in tests

---
 src/plugins/e-acsl/Makefile.in   | 3 ++-
 src/plugins/e-acsl/doc/Changelog | 6 ++++++
 2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 5ceeea83915..94e44b88d17 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -128,7 +128,8 @@ endif
 
 clean::
 	$(PRINT_RM) generated test files
-	$(RM) $(PLUGIN_DIR)/tests/*.cm*
+	$(RM) $(E_ACSL_DIR)/tests/*.cm* $(E_ACSL_DIR)/tests/*.o
+	$(RM) $(E_ACSL_DIR)/tests/test_config
 
 ###########
 # Install #
diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index e4aa0f93664..9544a709df4 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -15,6 +15,12 @@
 #   E-ACSL: the Whole E-ACSL plug-in
 ###############################################################################
 
+-* E-ACSL       [2016/02/25] Fix 'make clean' in tests.
+
+###########################
+Plugin E-ACSL 0.6 Magnesium
+###########################
+
 -* E-ACSL       [2016/01/15] Fix installation with custom --prefix.
 -* E-ACSL       [2016/01/05] Fix bug in the memory model that caused the
 	        tracked size of heap memory be computed incorrectly.
-- 
GitLab