diff options
author | dzwdz | 2022-08-07 23:50:15 +0200 |
---|---|---|
committer | dzwdz | 2022-08-07 23:50:15 +0200 |
commit | b0addbe14d2353e9c33f7f4d8a0b4ba8b24b2bd9 (patch) | |
tree | 0831f7c86e41ca2933e6dc5ec02c2d8b7078cd73 /src/user/app/shell/shell.h | |
parent | bd6af34828a9075edbda7f09011175d0bd11143f (diff) |
user/shell: make `whitelist` work in a more sensible way
doesn't need to be a shell builtin now
Diffstat (limited to 'src/user/app/shell/shell.h')
-rw-r--r-- | src/user/app/shell/shell.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/user/app/shell/shell.h b/src/user/app/shell/shell.h index 5097e00..a8f0012 100644 --- a/src/user/app/shell/shell.h +++ b/src/user/app/shell/shell.h @@ -10,3 +10,4 @@ struct redir { }; int parse(char *s, char **argv, size_t argvlen, struct redir *redir); +void run_args(int argc, char **argv, struct redir *redir); |