summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2020-09-29 21:33:49 +0200
committerLudovic Courtès <ludo@gnu.org>2020-09-29 21:56:28 +0200
commitc11c19bd4d0dc4ec56b949647057dbf00567f2ae (patch)
treec3a9dcbd29c48c2e36fd36d023822e3bec73eb46 /.gitignore
parentd5366500ec1aeecad6fc292b195088e30aa715fd (diff)
services: hurd-vm: Add system test.
* gnu/tests/virtualization.scm (%childhurd-os): New variable. (run-childhurd-test): New procedure. (%test-childhurd): New variable.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions