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 | |
| 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
| -rw-r--r-- | .gitlab-ci.yml | 2 | ||||
| -rw-r--r-- | Makefile.in | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index c31ca85a4..a76ea7c3c 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml | |||
| @@ -88,6 +88,6 @@ debian_ci: | |||
| 88 | - git add debian && git commit -m "add debian/" | 88 | - git add debian && git commit -m "add debian/" |
| 89 | - export CI_COMMIT_SHA=$(git rev-parse HEAD) | 89 | - export CI_COMMIT_SHA=$(git rev-parse HEAD) |
| 90 | script: | 90 | script: |
| 91 | - apt-get --no-install-recommends install gawk | 91 | - apt-get --no-install-recommends install -y -qq gawk |
| 92 | - gitlab-ci-git-buildpackage | 92 | - gitlab-ci-git-buildpackage |
| 93 | - gitlab-ci-lintian | 93 | - gitlab-ci-lintian |
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: |