diff options
| -rw-r--r-- | desktop/gnome-shell-extension-arc-menu/gnome-shell-extension-arc-menu.SlackBuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/desktop/gnome-shell-extension-arc-menu/gnome-shell-extension-arc-menu.SlackBuild b/desktop/gnome-shell-extension-arc-menu/gnome-shell-extension-arc-menu.SlackBuild index 7b138dfbd3bf5..d6f0aa3d1b789 100644 --- a/desktop/gnome-shell-extension-arc-menu/gnome-shell-extension-arc-menu.SlackBuild +++ b/desktop/gnome-shell-extension-arc-menu/gnome-shell-extension-arc-menu.SlackBuild @@ -73,7 +73,7 @@ find -L . \ -o -perm 440 -o -perm 400 \) -exec chmod 644 {} \; make ; make install DESTDIR=$PKG - + find $PKG -print0 | xargs -0 file | grep -e "executable" -e "shared object" | grep ELF \ | cut -f 1 -d : | xargs strip --strip-unneeded 2> /dev/null || true |