diff options
author | Dennis Kobert <dennis@kobert.dev> | 2019-11-12 17:27:07 +0100 |
---|---|---|
committer | Dennis Kobert <dennis@kobert.dev> | 2019-11-12 17:27:07 +0100 |
commit | 307571308b115eb737281711c780fa4cd1ed837f (patch) | |
tree | e62c15f02690e79610b5e65f4742016762074ba7 /kernel/run | |
parent | ec22f3464c87b3d1b1688898053a569bc4839404 (diff) |
Increase fault handler stack size
Diffstat (limited to 'kernel/run')
-rwxr-xr-x | kernel/run | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -127,7 +127,7 @@ for arg in "$@"; do "test") action=test;; "help") action=help;; *) - echo "warn: ignoring unknown option '$arg'" + # echo "warn: ignoring unknown option '$arg'" kernel_libary=$arg;; esac done |