diff options
| author | Gustav Sörnäs <gustav@sornas.net> | 2021-03-15 12:28:54 +0100 |
|---|---|---|
| committer | Gustav Sörnäs <gustav@sornas.net> | 2021-03-15 12:28:54 +0100 |
| commit | 467d2e1ecc443e4b287e3fb2e7fa359415dbd389 (patch) | |
| tree | 23c1ce6d92455c7e1ce847f28e13f40e0e0d6ba9 /src | |
| parent | b1c38ff0bb2277b0d93c7cb9569c936917d0165b (diff) | |
| download | pintos-467d2e1ecc443e4b287e3fb2e7fa359415dbd389.tar.gz | |
lower the timeout
Diffstat (limited to 'src')
| -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) |