--- a/src/Pure/System/mingw.scala Sat Oct 10 21:19:22 2020 +0200
+++ b/src/Pure/System/mingw.scala Sat Oct 10 21:33:54 2020 +0200
@@ -9,12 +9,14 @@
object MinGW
{
- def environment: List[(String, String)] =
- List("PATH" -> "/usr/bin:/bin:/mingw64/bin", "CONFIG_SITE" -> "/mingw64/etc/config.site")
+ def environment: List[String] =
+ List("PATH=/usr/bin:/bin:/mingw64/bin", "CONFIG_SITE=/mingw64/etc/config.site")
def environment_prefix: String =
- (for ((a, b) <- environment) yield Bash.string(a) + "=" + Bash.string(b))
- .mkString("/usr/bin/env ", " ", " ")
+ environment.map(Bash.string).mkString("/usr/bin/env ", " ", " ")
+
+ def environment_export: String =
+ environment.map(a => "export " + Bash.string(a)).mkString("", "\n", "\n")
val none: MinGW = new MinGW(None)
def root(path: Path) = new MinGW(Some(path))