diff options
Diffstat (limited to 'src/core/global.h')
-rw-r--r-- | src/core/global.h | 9 |
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 *); |