Skipped the instruction printing in batch mode.

1 files changed, 9 insertions, 0 deletions

diff --git a/src/core/global.h b/src/core/global.h
index 5f01909..f398621 100644
--- a/src/core/global.h
+++ b/src/core/global.h
@@ -25,12 +25,21 @@
 #define _CORE_GLOBAL_H
 
 
+#include <stdbool.h>
+
+
 #include "../analysis/loading.h"
 #include "../analysis/project.h"
 #include "../glibext/delayed.h"
 
 
 
+/* Note un mode d'exécution sans interface. */
+void set_batch_mode(void);
+
+/* Indique le mode d'exécution courant du programme. */
+bool is_batch_mode(void);
+
 /* Définit le gestionnaire de traitements parallèles courant. */
 void set_work_queue(GWorkQueue *);