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