This was failing on armhf because Debian GCC now enables PIE by default.
Bug: https://caml.inria.fr/mantis/view.php?id=7642
Bug-Debian: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=837359#80
Gbp-Pq: Name 0010-XL-001-tests.asmcomp.patch
let out_name = Filename.chop_extension filename ^ ".s" in
Emitaux.output_channel := open_out out_name
end; (* otherwise, stdout *)
- Clflags.dlcode := false;
Compilenv.reset ~source_provenance:(Timings.File filename) "test";
Emit.begin_assembly();
let ic = open_in filename in