diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 84e79bf03218e752f0b1fd95423a0325c518fca3..a1c5b4fc766fedb574a83355a1fc72552c8c82d5 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -145,6 +145,13 @@ Build tools-only: script: - make tools-only_config tools-only -j$(nproc) +# Ensure env tools build +Build envtools: + tags: [ 'all' ] + stage: testsuites + script: + - make tools-only_config envtools -j$(nproc) + Run binman, buildman, dtoc and patman testsuites: tags: [ 'all' ] stage: testsuites diff --git a/.travis.yml b/.travis.yml index 59d2e97fe0c3fb71dd88c3fa1af0265ae28e8d27..0ce09e35b7c6a14aaa36e5acb31ef540e687c8ea 100644 --- a/.travis.yml +++ b/.travis.yml @@ -361,6 +361,10 @@ matrix: - name: "Build tools-only" script: - make tools-only_config tools-only -j$(nproc) + # Ensure env tools build + - name: "Build envtools" + script: + - make tools-only_config envtools -j$(nproc) # test/py - name: "test/py sandbox"