Fix argument passing in inox script (for arguments with spaces)

jad-hamza · jad-hamza · commit 65072cc9e068 · 2021-05-06T08:21:36.000+02:00
diff --git a/build.sbt b/build.sbt
@@ -85,7 +85,7 @@ script := {
                        |
                        |SCALACLASSPATH=$cp
                        |
-                       |java -Xmx2G -Xms512M -Xss64M -classpath "$${SCALACLASSPATH}" -Dscala.usejavacp=true inox.Main $$@ 2>&1
+                       |java -Xmx2G -Xms512M -Xss64M -classpath "$${SCALACLASSPATH}" -Dscala.usejavacp=true inox.Main "$$@" 2>&1
                        |""".stripMargin)
     file.setExecutable(true)
   } catch {

Original file line number	Diff line number	Diff line change
`@@ -85,7 +85,7 @@ script := {`
`85`	`85`	`\|`
`86`	`86`	`\|SCALACLASSPATH=$cp`
`87`	`87`	`\|`
`88`		`- \|java -Xmx2G -Xms512M -Xss64M -classpath "$${SCALACLASSPATH}" -Dscala.usejavacp=true inox.Main $$@ 2>&1`
	`88`	`+ \|java -Xmx2G -Xms512M -Xss64M -classpath "$${SCALACLASSPATH}" -Dscala.usejavacp=true inox.Main "$$@" 2>&1`
`89`	`89`	`\|""".stripMargin)`
`90`	`90`	`file.setExecutable(true)`
`91`	`91`	`} catch {`