From a068239a364b6ccccf84a6cbf126e2a086d13364 Mon Sep 17 00:00:00 2001
From: Ian Butterworth <i.r.butterworth@gmail.com>
Date: Tue, 19 Dec 2023 16:40:31 -0500
Subject: [PATCH] rm old manual handling of --compiled-modules

---
 src/Operations.jl | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/Operations.jl b/src/Operations.jl
index 6ccbabab13..d7e25c7313 100644
--- a/src/Operations.jl
+++ b/src/Operations.jl
@@ -1686,7 +1686,6 @@ function gen_subprocess_cmd(code::String, source_path::String; coverage, julia_a
         $(Base.julia_cmd())
         --code-coverage=$(coverage_arg)
         --color=$(Base.have_color === nothing ? "auto" : Base.have_color ? "yes" : "no")
-        --compiled-modules=$(Bool(Base.JLOptions().use_compiled_modules) ? "yes" : "no")
         --check-bounds=yes
         --warn-overwrite=yes
         --depwarn=$(Base.JLOptions().depwarn == 2 ? "error" : "yes")