Add support for "keyboard" input over the serial port.
[pintos-anon] / src / tests / filesys / extended / Make.tests
index 2ba4d76e5d1e2a5005512e45bc67518f2283bc93..b8beeecdf7bca99a549b872819dfbd44d5f40fc0 100644 (file)
@@ -16,8 +16,9 @@ $(foreach prog,$(tests/filesys/extended_TESTS),               \
        $(eval $(prog)_SRC += tests/main.c))
 $(foreach prog,$(tests/filesys/extended_TESTS),                \
        $(eval $(prog)_PUTFILES += tests/filesys/extended/tar))
-$(foreach test,$(tests/filesys/extended_TESTS),        \
-       $(eval $(test).output: FSDISK = tmp.dsk))
+# The version of GNU make 3.80 on vine barfs if this is split at
+# the last comma.
+$(foreach test,$(tests/filesys/extended_TESTS),$(eval $(test).output: FSDISK = tmp.dsk))
 
 tests/filesys/extended/dir-mk-tree_SRC += tests/filesys/extended/mk-tree.c
 tests/filesys/extended/dir-rm-tree_SRC += tests/filesys/extended/mk-tree.c
@@ -38,8 +39,8 @@ endif
 GETCMD += -- -q
 GETCMD += $(KERNELFLAGS)
 GETCMD += run 'tar fs.tar /'
-GETCMD += 2>> $(TEST).get-errors
-GETCMD += $(if $(VERBOSE),|tee -a,>>) $(TEST).get-output
+GETCMD += < /dev/null
+GETCMD += 2> $(TEST).get-errors $(if $(VERBOSE),|tee,>) $(TEST).get-output
 
 tests/filesys/extended/%.output: os.dsk
        rm -f tmp.dsk