diff options
| author | dzwdz | 2022-07-09 18:35:07 +0200 |
|---|---|---|
| committer | dzwdz | 2022-07-09 18:35:07 +0200 |
| commit | fcfb57c12ce4544017098092a66f8427584c1879 (patch) | |
| tree | d149bb1c51265ae0dbf683125ee980829e53c0f6 /src/init/shell.c | |
| parent | dad8b261ac7898f4d8cf537ad288ad6a1a74d124 (diff) | |
init/test: mostly clean up the existing tests
Diffstat (limited to 'src/init/shell.c')
| -rw-r--r-- | src/init/shell.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/init/shell.c b/src/init/shell.c index edcd480..17cfffc 100644 --- a/src/init/shell.c +++ b/src/init/shell.c @@ -161,6 +161,8 @@ void shell_loop(void) { else level++; } else if (!strcmp(cmd, "run_tests")) { test_all(); + } else if (!strcmp(cmd, "stress")) { + stress_all(); } else { printf("unknown command :(\n"); } |