Skipped the instruction printing in batch mode.

2 files changed, 50 insertions, 0 deletions

diff --git a/src/core/global.c b/src/core/global.c
index decf300..8736b30 100644
--- a/src/core/global.c
+++ b/src/core/global.c
@@ -28,6 +28,9 @@
 
 
 
+/* Mode de fonctionnement */
+static bool _batch_mode = false;
+
 /* Gestionnaire de tâches parallèles */
 static GWorkQueue *_queue = NULL;
 
@@ -47,6 +50,44 @@ static current_project_change_cb _project_notify = NULL;
 
 /******************************************************************************
 *                                                                             *
+*  Paramètres  : -                                                            *
+*                                                                             *
+*  Description : Note un mode d'exécution sans interface.                     *
+*                                                                             *
+*  Retour      : -                                                            *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+void set_batch_mode(void)
+{
+    _batch_mode = true;
+
+}
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : -                                                            *
+*                                                                             *
+*  Description : Indique le mode d'exécution courant du programme.            *
+*                                                                             *
+*  Retour      : true si le fonctionnement est sans interface.                *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+bool is_batch_mode(void)
+{
+    return _batch_mode;
+
+}
+
+
+/******************************************************************************
+*                                                                             *
 *  Paramètres  : queue = nouveau gestionnaire à mémoriser ou NULL.            *
 *                                                                             *
 *  Description : Définit le gestionnaire de traitements parallèles courant.   *
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 *);