frama-c (20111001+nitrogen+dfsg-3) 0004-Use-bin-cp-instead-of-usr-bin-install.patch

From: Mehdi Dogguy <mehdi@debian.org>
Date: Mon, 2 Jan 2012 17:28:56 +0100
Subject: Use /bin/cp instead of /usr/bin/install

---
 share/Makefile.common |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/share/Makefile.common b/share/Makefile.common
index c9e8727..ce1a699 100644
--- a/share/Makefile.common
+++ b/share/Makefile.common
@@ -138,7 +138,7 @@ CHMOD_RW= sh -c \
 'for f in "$$@"; do \
   if test -e $$f; then chmod u+w $$f; fi \
 done' chmod_rw
-CP      = /usr/bin/install
+CP      = /bin/cp
 ECHO	= echo
 MKDIR   = mkdir -p
 MV	= mv
--