Update macros.jl

jump-dev · May 16, 2024 · e9d85e9 · e9d85e9
1 parent ff85110
commit e9d85e9
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/macros.jl b/src/macros.jl
@@ -468,7 +468,9 @@ function _plural_macro_code(model, block, macro_sym)
 end
 
 for file in readdir(joinpath(@__DIR__, "macros"))
-    if occursin(r".jl$", file)
+    # The check for .jl is necessary because some users may have other files
+    # like .cov from running code coverage. See JuMP.jl#3746.
+    if endswith(file, ".jl")
         include(joinpath(@__DIR__, "macros", file))
     end
 end