equal
deleted
inserted
replaced
61 |
61 |
62 |
62 |
63 /* bash */ |
63 /* bash */ |
64 |
64 |
65 def bash( |
65 def bash( |
66 cwd: Path, script: String, redirect: Boolean = false, echo: Boolean = false): Process_Result = |
66 cwd: Path, script: String, |
|
67 redirect: Boolean = false, |
|
68 echo: Boolean = false): Process_Result = |
67 { |
69 { |
68 progress.bash(mingw.bash_script(script), cwd = cwd.file, redirect = redirect, echo = echo) |
70 val script1 = |
|
71 if (platform.is_arm && platform.is_macos) { |
|
72 "arch -arch arm64 bash -c " + Bash.string(script) |
|
73 } |
|
74 else mingw.bash_script(script) |
|
75 progress.bash(script1, cwd = cwd.file, redirect = redirect, echo = echo) |
69 } |
76 } |
70 |
77 |
71 |
78 |
72 /* configure and make */ |
79 /* configure and make */ |
73 |
80 |