diff options
| -rw-r--r-- | snekbox/nsjail.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/snekbox/nsjail.py b/snekbox/nsjail.py index 825fb9a..6866377 100644 --- a/snekbox/nsjail.py +++ b/snekbox/nsjail.py @@ -207,6 +207,10 @@ class NsJail: c_arg = "c" in "".join(py_args) + # Override for `timeit` + if "timeit" in py_args: + use_file = False + match (use_file, c_arg): case (True, _) | (None, False): args.append("main.py") |