diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2021-02-21 14:27:22 +0100 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2021-02-21 14:27:22 +0100 |
| commit | 20f2497efd5e74bdbf775f8de144ed5c3e3394e8 (patch) | |
| tree | 0ee5313a18aa251d71a722f2592642b85caf4529 /src/bootstrap/mk | |
| parent | 8005092cf0dcb05665c7e7f06fa29dfb45d3c529 (diff) | |
Update CI scripts
Diffstat (limited to 'src/bootstrap/mk')
| -rw-r--r-- | src/bootstrap/mk/Makefile.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/bootstrap/mk/Makefile.in b/src/bootstrap/mk/Makefile.in index fd39944e176..47cf1172d36 100644 --- a/src/bootstrap/mk/Makefile.in +++ b/src/bootstrap/mk/Makefile.in @@ -45,6 +45,10 @@ check-aux: src/tools/cargo \ src/tools/cargotest \ $(BOOTSTRAP_ARGS) +check-aux-and-gui: check-aux + $(Q)$(BOOTSTRAP) test --stage 2 \ + src/test/rustdoc-gui \ + $(BOOTSTRAP_ARGS) check-bootstrap: $(Q)$(CFG_PYTHON) $(CFG_SRC_DIR)src/bootstrap/bootstrap_test.py dist: |