From 87afb0f9e4dd97b167e404329e60b49397c8f2f9 Mon Sep 17 00:00:00 2001
From: Snahil Singh <ss11381@nyu.edu>
Date: Wed, 7 Nov 2018 04:06:49 +0000
Subject: [PATCH] Make starjava-connect reproducible

---
 build.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build.xml b/build.xml
index 01d512a..e25435d 100644
--- a/build.xml
+++ b/build.xml
@@ -900,6 +900,7 @@
              source="${source.version}"
              classpathref="classpath">
 
+      <arg value="-notimestamp"/>
       <!-- Get a list of directories that name all the potential
        !   java packages -->
       <packageset dir="${java.dir}" defaultexcludes="yes">
-- 
GitLab