diff options
| author | Allan McRae <allan@archlinux.org> | 2008-07-20 15:57:03 +1000 |
|---|---|---|
| committer | Dan McGee <dan@archlinux.org> | 2008-07-20 19:06:14 -0500 |
| commit | ae9e33ed88849bfdf4a9530f674701cc32d72563 (patch) | |
| tree | bb419a0d20c23c1fe5004d2b615901201700d5d0 /etc | |
| parent | b4f2cb53ef568534e672a877f3d47f85ca18f2af (diff) | |
Make strip paths configurable
This patch introduces a new STRIP_DIRS makepkg.conf option
to change makepkg's search path when stripping binaries.
Original work by: Thomas Bächler <thomas@archlinux.org>
Signed-off-by: Allan McRae <allan@archlinux.org>
Signed-off-by: Dan McGee <dan@archlinux.org>
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/makepkg.conf.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/etc/makepkg.conf.in b/etc/makepkg.conf.in index bb2018f1..0241a8ec 100644 --- a/etc/makepkg.conf.in +++ b/etc/makepkg.conf.in @@ -73,6 +73,8 @@ OPTIONS=(strip docs libtool emptydirs zipman) INTEGRITY_CHECK=(md5) #-- Info and doc directories to remove (if option set correctly above) DOC_DIRS=(usr/{,share/}{info,doc,gtk-doc} opt/*/{info,doc,gtk-doc}) +#-- Directories to be searched for the strip option (if option set correctly above) +STRIP_DIRS=(bin lib sbin usr/{bin,lib,sbin,local/{bin,lib,sbin}} opt/*/{bin,lib,sbin}) ######################################################################### # PACKAGE OUTPUT |