From a6dcdf60052e2c5165528495245adb9ceeab300a Mon Sep 17 00:00:00 2001
From: Christian Weiske <cweiske@cweiske.de>
Date: Mon, 28 Aug 2017 17:17:45 +0200
Subject: [PATCH] Do not overwrite dist/*.phar files

---
 build.xml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index 12a01f3..c57735d 100644
--- a/build.xml
+++ b/build.xml
@@ -31,7 +31,10 @@
   </copy>
 
   <mkdir dir="${phing.dir}/dist"/>
-  <!-- <delete file="${pharfile}"/> -->
+
+  <available file="${pharfile}" property="phar_exists" value="1"/>
+  <fail if="phar_exists" message="File exists already: ${pharfile}"/>
+
   <pharpackage basedir="${phing.dir}"
    destfile="${pharfile}"
    stub="${phing.dir}/src/phar-stub.php"
-- 
2.30.2