Skip to content

Commit f39d1df

Browse files
committed
fix windows shell error
1 parent c53a236 commit f39d1df

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

src/sys/stm_tests.ml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -147,7 +147,7 @@ struct
147147
| "Unix" -> ignore (Sys.command ("rm -rf " ^ (static_path / "sandbox_root") ^ " && mkdir " ^ (static_path / "sandbox_root")))
148148
| "Win32" ->
149149
ignore (Sys.command (
150-
"powershell -Command \"Remove-Item -Path " ^ (static_path / "sandbox_root") ^ " -Recurse -Force\"
150+
"powershell -Command \"Remove-Item -Path " ^ (static_path / "sandbox_root") ^ " -Recurse -Force -ErrorAction Ignore \"
151151
& mkdir " ^ (static_path / "sandbox_root")))
152152
| v -> failwith ("Sys tests not working with " ^ v)
153153

@@ -159,7 +159,7 @@ struct
159159

160160
let precond _c _s = true
161161

162-
let p path = (List.fold_left (/) (static_path / "sandbox_root") path)
162+
let p path = (List.fold_left (/) (static_path / "sandbox_root") path)
163163

164164
let run c _file_name =
165165
match c with

0 commit comments

Comments
 (0)