[patch] check if the xml file is empty

javatoolkit.patch (text/plain), 555 bytes, created by Helmut Jarausch on 2018-10-07 09:18:07 UTC

--- src/py/build-xml-rewrite.ORIG	2018-10-01 15:26:49.000000000 +0200
+++ src/py/build-xml-rewrite	2018-10-07 11:08:55.236803374 +0200
@@ -1,6 +1,6 @@
 #!/usr/bin/python3.7
 
-import sys
+import sys, os
 import xml.etree.cElementTree as et
 from optparse import OptionParser
 
@@ -32,6 +32,7 @@
     gcp_sub = et.Element('classpath', path=gcp_str)
 
     for file in args:
+        if os.path.getsize(file) == 0 : continue
         tree = et.ElementTree(file=file)
         if gcp or options.encoding:
             for javac in tree.getiterator('javac'):