From 2332679ad64e3e0318ca812421190156edec9186 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Mon, 27 Dec 2021 12:43:14 +0100 Subject: Added option -i to accept scramble(s) from stdin, very useful for batch mode --- src/shell.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/shell.h') diff --git a/src/shell.h b/src/shell.h index bb85ba2..80f86ba 100644 --- a/src/shell.h +++ b/src/shell.h @@ -8,6 +8,6 @@ #define MAXNTOKENS 255 void exec_args(int c, char **v); -void launch(bool prompt); +void launch(bool batchmode); #endif -- cgit v1.3