diff options
| author | EuAndreh <eu@euandre.org> | 2023-03-23 16:29:47 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2023-03-23 16:29:47 -0300 |
| commit | 82273012ca997c72412bddcf86b46ca48493fcaa (patch) | |
| tree | 31d24658ce8de22a949acd87fd11924d59bc3812 /Makefile | |
| parent | Use manual echo to /etc/apt/sources.list over apt-add-repository (diff) | |
| download | package-repository-82273012ca997c72412bddcf86b46ca48493fcaa.tar.gz package-repository-82273012ca997c72412bddcf86b46ca48493fcaa.tar.xz | |
Makefile: Add check-debian-x86_64-deb
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 7 |
1 files changed, 6 insertions, 1 deletions
@@ -118,4 +118,9 @@ check-ubuntu-x86_64-homebrew: check-ubuntu: check-ubuntu-x86_64-deb check-ubuntu-x86_64-homebrew -check: all check-ubuntu +check-debian-x86_64-deb: + sh tests/vm-check.sh -x -H debian-x86_64-headless -r $(HTTP-REMOTE) -t deb + +check-debian: check-debian-x86_64-deb + +check: all check-ubuntu check-debian |