diff options
author | Cyrille Bagard <nocbos@gmail.com> | 2018-04-27 10:13:20 (GMT) |
---|---|---|
committer | Cyrille Bagard <nocbos@gmail.com> | 2018-04-27 10:13:20 (GMT) |
commit | f34023c5c6d47ccfed65ea9b61497b4febb8746c (patch) | |
tree | 9312aa982769076387e7cc316068ba724292d357 /src/main.c | |
parent | f2f74f95602514774f15a28ceda2a39956745034 (diff) |
Skipped the instruction printing in batch mode.
Diffstat (limited to 'src/main.c')
-rw-r--r-- | src/main.c | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -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()) |