[gedit/wip/wininstaller] win32: remove unneeded binaries
- From: Ignacio Casal Quinteiro <icq src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gedit/wip/wininstaller] win32: remove unneeded binaries
- Date: Tue, 29 Jul 2014 06:45:48 +0000 (UTC)
commit c43478a898c8aec251d4739b5866a6978900b534
Author: Ignacio Casal Quinteiro <icq gnome org>
Date: Tue Jul 29 08:45:29 2014 +0200
win32: remove unneeded binaries
win32/make-gedit-installer | 3 +++
1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/win32/make-gedit-installer b/win32/make-gedit-installer
index 7df60c8..fa35786 100644
--- a/win32/make-gedit-installer
+++ b/win32/make-gedit-installer
@@ -86,6 +86,9 @@ create_archive() {
# remove .a files not needed for the installer
find ${_newgedit} -name "*.a" -exec rm -f {} \;
+ # remove unneeded binaries
+ find ${_newgedit} -not -name "g*.exe" -name "*.exe" -exec rm -f {} \;
+ find ${_newgedit}/usr -name "*.exe" -exec rm -f {} \;
mkdir -p "${_data}"
_dirs=
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]