summaryrefslogtreecommitdiff
path: root/src/main.c
diff options
context:
space:
mode:
authorCyrille Bagard <nocbos@gmail.com>2018-04-27 10:13:20 (GMT)
committerCyrille Bagard <nocbos@gmail.com>2018-04-27 10:13:20 (GMT)
commitf34023c5c6d47ccfed65ea9b61497b4febb8746c (patch)
tree9312aa982769076387e7cc316068ba724292d357 /src/main.c
parentf2f74f95602514774f15a28ceda2a39956745034 (diff)
Skipped the instruction printing in batch mode.
Diffstat (limited to 'src/main.c')
-rw-r--r--src/main.c3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/main.c b/src/main.c
index 0abc29f..793a735 100644
--- a/src/main.c
+++ b/src/main.c
@@ -253,6 +253,9 @@ int main(int argc, char **argv)
/* Initialisation du programme */
+ if (batch_mode)
+ set_batch_mode();
+
set_log_verbosity(verbosity);
if (!load_all_basic_components())