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: |