diff options
author | Peter Hutterer <peter.hutterer@who-t.net> | 2019-10-30 09:01:31 +1000 |
---|---|---|
committer | Peter Hutterer <peter.hutterer@who-t.net> | 2019-11-15 06:53:41 +1000 |
commit | e595a5670688a6f27ba23bf79ddb3803c58f8ec2 (patch) | |
tree | c96ebc56a9ea59df7517265c49daa48dbdb0493f | |
parent | 2adf7bee194b28ad6628ce9b50a4fe8388316956 (diff) |
gitlab CI: drop the separate make stage now that we have install
Signed-off-by: Peter Hutterer <peter.hutterer@who-t.net>
-rw-r--r-- | .gitlab-ci.yml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 1b1f780b..b016a4c4 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -28,10 +28,6 @@ variables: - make - if test x"$MAKE_EXTRA_COMMAND" != "x"; then make $MAKE_EXTRA_COMMAND; fi -make: - extends: .default_build - stage: build - make_install: extends: .default_build stage: build |