Suppression de "#define BATCH"

MLanguage · Feb 17, 2025 · 8c0680f · 8c0680f
1 parent 21b45ca
commit 8c0680f
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/src/mlang/backend_compilers/dgfip_gen_files.ml b/src/mlang/backend_compilers/dgfip_gen_files.ml
@@ -256,9 +256,7 @@ let gen_conf_h fmt (cprog : Mir.program) flags =
   if flags.flg_iliad then Format.fprintf fmt "#define FLG_ILIAD\n";
   if flags.flg_pro then Format.fprintf fmt "#define FLG_PRO\n";
   if flags.flg_cfir then Format.fprintf fmt "#define FLG_CFIR\n";
-  if flags.flg_gcos then (
-    Format.fprintf fmt "#define FLG_GCOS\n";
-    Format.fprintf fmt "#define BATCH\n");
+  if flags.flg_gcos then Format.fprintf fmt "#define FLG_GCOS\n";
   if flags.flg_tri_ebcdic then Format.fprintf fmt "#define FLG_TRI_EBCDIC\n";
   (* flag is not used *)
   if flags.flg_short then