From cb8f56043054cfdc016df2f5771a883250b98b0d Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Mon, 28 Dec 2015 08:36:13 +0100
Subject: [PATCH] [Makefile] fix 'make install'
---
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 30126812b1e..7fa128413e3 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -136,7 +136,7 @@ install::
$(E_ACSL_DIR)/doc/manuals/e-acsl-manual.pdf \
$(FRAMAC_SHARE)/manuals
$(PRINT_INSTALL) E-ACSL scripts
- find scripts -maxdepth 1 -type f -executable -exec $(CP) {} $(BINDIR) \;
+ $(CP) $(E_ACSL_DIR)/scripts/e-acsl-gcc.sh $(BINDIR)
uninstall::
$(PRINT_RM) E-ACSL share files
@@ -146,7 +146,7 @@ uninstall::
$(FRAMAC_SHARE)/manuals/e-acsl-implementation.pdf \
$(FRAMAC_SHARE)/manuals/e-acsl-manual.pdf
$(PRINT_RM) E-ACSL scripts
- find scripts -maxdepth 1 -type f -executable -execdir $(RM) $(BINDIR)/{} \;
+ $(RM) $(BINDIR)/e-acsl-gcc.sh
################################
# Building source distribution #
--
GitLab