From: Jeanderson Candido <jeandersonbc@gmail.com>
Date: Mon, 18 Jun 2018 18:17:50 +0000 (-0300)
Subject: Ignoring build.properties file
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff_plain;h=76f94230358e77d9c6bfb22373b5f1692b88650a

Ignoring build.properties file
---

diff --git a/.gitignore b/.gitignore
index a7586ef..2409b42 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1,6 @@
 local.properties
 .version
+build.properties
 
 ####### General #######
 trace
diff --git a/build.gradle b/build.gradle
index f1c0bf7..6beb9a1 100644
--- a/build.gradle
+++ b/build.gradle
@@ -302,7 +302,7 @@ task runTestJar(type: Jar) {
 task buildJars {
     group = "JPF Build"
     description = "Generates the core JPF jar files."
-    
+
     dependsOn buildInfo
 
     dependsOn classloaderSpecificTestsJar, annotationsJar,