X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=blobdiff_plain;f=build.gradle;h=d105247dc45c3c9f873ae6c64755b118acf44523;hp=93714b1d3aefa749a81147a28cc944a55e70ea2c;hb=3d099c6d7d6d4b8b90f07c5d047ee96704342af9;hpb=489d242f3446649c91dc28d1ca5ef10c2187a514 diff --git a/build.gradle b/build.gradle index 93714b1..d105247 100644 --- a/build.gradle +++ b/build.gradle @@ -85,13 +85,9 @@ task generateBuildInfo { description = "Generates the build.properties file." doLast { - // Must fail if there are uncommitted changes - def status = "git status --short".execute().text.trim() - if (!status.isEmpty()) { - throw new GradleException("There are uncomitted changes:\n " + status) - } Properties info = new Properties() + def status = "git status --short".execute().text.trim() def revision = "git rev-parse --short HEAD".execute().text.trim() def userName = ["git", "log", "-1", "--format=%an <%ae>"].execute().text.trim() def date = "git log -1 --format=%ci".execute().text.trim()