diff options
author | Reiner Herrmann <reiner@reiner-h.de> | 2020-09-03 18:43:05 +0200 |
---|---|---|
committer | Reiner Herrmann <reiner@reiner-h.de> | 2020-09-03 18:43:05 +0200 |
commit | 99ea3cc3621a29af55c6d5997a8d39eb3778e002 (patch) | |
tree | de88b8732a9feb78c50cb96b9108489d75b87dc3 /Makefile.in | |
parent | ci: install gawk build dependency (diff) | |
download | firejail-99ea3cc3621a29af55c6d5997a8d39eb3778e002.tar.gz firejail-99ea3cc3621a29af55c6d5997a8d39eb3778e002.tar.zst firejail-99ea3cc3621a29af55c6d5997a8d39eb3778e002.zip |
ci: don't fail if strip fails, as it might not be a binary
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 5096ad44a..3aa82a243 100644 --- a/Makefile.in +++ b/Makefile.in | |||
@@ -154,7 +154,7 @@ install: all | |||
154 | $(MAKE) realinstall | 154 | $(MAKE) realinstall |
155 | 155 | ||
156 | install-strip: all | 156 | install-strip: all |
157 | strip $(ALL_ITEMS) | 157 | -strip $(ALL_ITEMS) |
158 | $(MAKE) realinstall | 158 | $(MAKE) realinstall |
159 | 159 | ||
160 | uninstall: | 160 | uninstall: |