Spaces:
Runtime error
Runtime error
Muennighoff
commited on
Commit
•
da88559
1
Parent(s):
318210e
Rust w/o temp faster?
Browse files- execute.py +2 -1
execute.py
CHANGED
@@ -225,7 +225,8 @@ def unsafe_execute_js(check_program, result, timeout):
|
|
225 |
|
226 |
def unsafe_execute_rust(check_program, result, timeout, cargo_string):
|
227 |
|
228 |
-
#
|
|
|
229 |
|
230 |
WD: str = os.getcwd()
|
231 |
RUST_DIR: str = os.path.join(WD, "rust")
|
|
|
225 |
|
226 |
def unsafe_execute_rust(check_program, result, timeout, cargo_string):
|
227 |
|
228 |
+
# To make rust faster, do not use a tempdir
|
229 |
+
# with create_tempdir():
|
230 |
|
231 |
WD: str = os.getcwd()
|
232 |
RUST_DIR: str = os.path.join(WD, "rust")
|