shell.nix: Add grub2 and dhcp

[novaboot.git] / tests / Makefile

diff --git a/tests/Makefile b/tests/Makefile
index 731845b00ae64191404fab1cfcb16a2dfebb3aa0..f357ff943867f32f3bdf3661b4f58d09b5577b7f 100644 (file)
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -1,4 +1,6 @@
-TESTS = novaboot.wv parser.wv expect.wv $(wildcard *.wv)
+TESTS := novaboot.wv parser.wv expect.wv server.wv
+OTHER_TESTS := $(filter-out $(TESTS),$(wildcard *.wv))
+TESTS += $(OTHER_TESTS)
 
 all:
        ./wvtool runall $(TESTS:%=./%)