diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2022-03-03 19:02:08 +0100 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2022-03-03 19:02:08 +0100 |
| commit | ecd8bbf2c0b7a4ca20c9cdc5f8f26836d4082c36 (patch) | |
| tree | 59017867a467b496c1ae6f8133d7122e22819693 /src/shell.h | |
| parent | b5a692702643c8f3e77765ca38677e076bce2b59 (diff) | |
| download | nissy-ecd8bbf2c0b7a4ca20c9cdc5f8f26836d4082c36.tar.gz nissy-ecd8bbf2c0b7a4ca20c9cdc5f8f26836d4082c36.zip | |
Added messages about generating pruning tables
Diffstat (limited to '')
| -rw-r--r-- | src/shell.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/shell.h b/src/shell.h index 80f86ba..7e4f785 100644 --- a/src/shell.h +++ b/src/shell.h | |||
| @@ -7,6 +7,7 @@ | |||
| 7 | #define MAXTOKENLEN 255 | 7 | #define MAXTOKENLEN 255 |
| 8 | #define MAXNTOKENS 255 | 8 | #define MAXNTOKENS 255 |
| 9 | 9 | ||
| 10 | bool checkfiles(); | ||
| 10 | void exec_args(int c, char **v); | 11 | void exec_args(int c, char **v); |
| 11 | void launch(bool batchmode); | 12 | void launch(bool batchmode); |
| 12 | 13 | ||