From 88d5b2cdc2629350effb5944759f1e315afc4ab5 Mon Sep 17 00:00:00 2001
From: Jeanderson Candido <jeandersonbc@gmail.com>
Date: Mon, 18 Jun 2018 15:58:39 -0300
Subject: [PATCH] Fixed missing properties files on build cycle

---
 build.gradle | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/build.gradle b/build.gradle
index 6beb9a1..0dc9c69 100644
--- a/build.gradle
+++ b/build.gradle
@@ -87,6 +87,10 @@ task buildInfo {
         def writer = new File("build.properties").newWriter("utf-8")
         info.store(writer, "JPF core build info")
         writer.close()
+
+        // Copies generated build.properties file to the build directory
+        from "build.properties"
+        into sourceSets.main.java.outputDir.path + "/gov/nasa/jpf"
     }
 }
 
@@ -99,10 +103,6 @@ task compile(type: Copy) {
     // due to the compileClasspath attribute
     dependsOn compileTestJava, compileExamplesJava, generateVersion
 
-    // Copies build.properties file to the build directory
-    from "build.properties"
-    into sourceSets.main.java.outputDir.path + "/gov/nasa/jpf"
-
     // Copies .version file to the build directory
     from ".version"
     into sourceSets.main.java.outputDir.path + "/gov/nasa/jpf"
-- 
2.34.1