Do not overwrite dist/*.phar files

diff --git a/build.xml b/build.xml
index 12a01f33b01be54000c555b66062a131f9cec58e..c57735d55fdb8b2641ea3f03294e794715750fe8 100644 (file)
--- a/build.xml
+++ b/build.xml
@@ -31,7 +31,10 @@
   </copy>
 
   <mkdir dir="${phing.dir}/dist"/>
   </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"
   <pharpackage basedir="${phing.dir}"
    destfile="${pharfile}"
    stub="${phing.dir}/src/phar-stub.php"