diff options
author | Juergen Daubert <jue@jue.li> | 2013-08-18 11:43:22 +0200 |
---|---|---|
committer | Juergen Daubert <jue@jue.li> | 2013-08-19 19:35:14 +0200 |
commit | 1a584d56e5fda8805132409df1d05ad757cda95a (patch) | |
tree | b97c2ba751a57919671ff79f6497d032d0ce797e /libgmp | |
parent | e13d8bb0f4cf574d90cb0f829a1d29e9e7c8594f (diff) | |
download | core-1a584d56e5fda8805132409df1d05ad757cda95a.tar.gz core-1a584d56e5fda8805132409df1d05ad757cda95a.tar.xz |
libgmp: use install instead of cp to install gmp.h
Diffstat (limited to 'libgmp')
-rw-r--r-- | libgmp/Pkgfile | 2 |
1 files changed, 1 insertions, 1 deletions
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 } |