From adc8b29452b4163b1ba7b95d582474233c853893 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <colder@php.net>
Date: Tue, 12 Nov 2013 17:09:09 +0100
Subject: [PATCH] Do not compile and package files found in the Leon base
 directory

---
 build.sbt | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/build.sbt b/build.sbt
index a7c534d64..651f0aea4 100644
--- a/build.sbt
+++ b/build.sbt
@@ -36,3 +36,5 @@ fork in test := true
 logBuffered in Test := false
 
 testOptions in Test += Tests.Argument("-oD")
+
+sourcesInBase in Compile := false
-- 
GitLab