From 2156209888648ae6765c82065e4a61a9f898cfbc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mika=C3=ABl=20Mayer?= <a-mikmay@microsoft.com>
Date: Wed, 14 Oct 2015 18:48:19 +0200
Subject: [PATCH] Corrected build.sbt for windows
---
build.sbt | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/build.sbt b/build.sbt
index ddd3c0a82..d7a5a5e09 100644
--- a/build.sbt
+++ b/build.sbt
@@ -91,7 +91,7 @@ sourceGenerators in Compile <+= Def.task {
IO.write(build, s"""|package leon
|
|object Build {
- | val baseDirectory = \"${baseDirectory.value.toString}\"
+ | val baseDirectory = \"\"\"${baseDirectory.value.toString}\"\"\"
| val libFiles = List(
| ${libFiles.mkString("\"\"\"", "\"\"\",\n \"\"\"", "\"\"\"")}
| )
--
GitLab