From 1a584d56e5fda8805132409df1d05ad757cda95a Mon Sep 17 00:00:00 2001
From: Juergen Daubert <jue@jue.li>
Date: Sun, 18 Aug 2013 11:43:22 +0200
Subject: [PATCH] libgmp: use install instead of cp to install gmp.h

---
 libgmp/Pkgfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libgmp/Pkgfile b/libgmp/Pkgfile
index 7dc42a56..a6578f53 100644
--- a/libgmp/Pkgfile
+++ b/libgmp/Pkgfile
@@ -16,6 +16,6 @@ build() {
     make
     make DESTDIR=$PKG install
     mv $PKG/usr/include/gmp{,-64}.h
-    cp $SRC/gmp.h $PKG/usr/include/
+    install -m 0644 $SRC/gmp.h $PKG/usr/include/
     rm -r $PKG/usr/share
 }