diff options
Diffstat (limited to 'tests/Makefrag.am')
| -rw-r--r-- | tests/Makefrag.am | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tests/Makefrag.am b/tests/Makefrag.am index e82ef3e1..fe9c37e1 100644 --- a/tests/Makefrag.am +++ b/tests/Makefrag.am @@ -22,6 +22,10 @@ if !PLATFORM_xen +# Let user specify a kernel to test +GNUMACH ?= gnumach +export GNUMACH + .NOTPARALLEL: check include tests/user-qemu.mk |