Commit 18a607c5 authored by ufebl's avatar ufebl

Fix executable bits with a linux machine

parent 25e1ab0e
File mode changed from 100644 to 100755
......@@ -135,7 +135,8 @@ class Environment:
self.timeout = float(os.getenv("MJ_TIMEOUT", "10"))
self.big_timeout = float(os.getenv("MJ_BIG_TIMEOUT", "60"))
self.bench_compiler_flags = [bench_compiler_flag_1, bench_compiler_flag_2]
self.bench_compiler_flags = bench_compiler_flags
self.bench_runs = bench_runs
def create_tmpfile(self) -> str:
......
File mode changed from 100644 to 100755
File mode changed from 100644 to 100755
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment