diff options
| -rw-r--r-- | src/tests/Make.tests | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tests/Make.tests b/src/tests/Make.tests index 76d63f6..60f2c2d 100644 --- a/src/tests/Make.tests +++ b/src/tests/Make.tests @@ -14,7 +14,7 @@ ifdef PROGS include ../../Makefile.userprog endif -TIMEOUT = 60 +TIMEOUT = 5 clean:: rm -f $(OUTPUTS) $(ERRORS) $(RESULTS) |