From d754425bfaaaedc15faa98e3391af50682c82e31 Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano.tronto@gmail.com>
Date: Fri, 10 Dec 2021 18:40:33 +0100
Subject: Added 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 a72d136..bb85ba2 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();
+void        launch(bool prompt);
 
 #endif
-- 
cgit v1.3