From 68fb62e5a3786a33f3e8ed640f4385a9bef70f22 Mon Sep 17 00:00:00 2001 From: Peter Donovan Date: Thu, 30 Jun 2022 18:49:38 -0700 Subject: [PATCH] Apply fix suggested by @billy-bao. --- org.lflang/src/org/lflang/util/LFCommand.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/org.lflang/src/org/lflang/util/LFCommand.java b/org.lflang/src/org/lflang/util/LFCommand.java index 6626d4a846..983c241508 100644 --- a/org.lflang/src/org/lflang/util/LFCommand.java +++ b/org.lflang/src/org/lflang/util/LFCommand.java @@ -325,7 +325,7 @@ public static LFCommand get(final String cmd, final List args, boolean q } else if (findCommand(cmd) != null) { builder = new ProcessBuilder(cmdList); } else if (checkIfCommandIsExecutableWithBash(cmd, dir)) { - builder = new ProcessBuilder("bash", "--login", "-c", String.join(" ", cmdList)); + builder = new ProcessBuilder("bash", "--login", "-c", String.format("\"%s\"", String.join(" ", cmdList))); } if (builder != null) {