Apply fix suggested by @billy-bao.

lf-lang · Jul 1, 2022 · 68fb62e · 68fb62e
1 parent 3a1f550
commit 68fb62e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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<String> 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) {