remove .dummy files

1 files changed, 17 insertions, 2 deletions

diff --git a/java/makedist.py b/java/makedist.py
index 95e6481505b..4de77f5b0c3 100755
--- a/java/makedist.py
+++ b/java/makedist.py
@@ -13,7 +13,7 @@
 #
 # **********************************************************************
 
-import os, sys, shutil, re
+import os, sys, shutil, fnmatch, re
 
 #
 # Show usage information.
@@ -30,6 +30,20 @@ def usage():
     print "If no tag is specified, HEAD is used."
 
 #
+# Find files matching a pattern.
+#
+def find(path, patt):
+    result = [ ]
+    files = os.listdir(path)
+    for x in files:
+        fullpath = os.path.join(path, x);
+        if os.path.isdir(fullpath) and not os.path.islink(fullpath):
+            result.extend(find(fullpath, patt))
+        elif fnmatch.fnmatch(x, patt):
+            result.append(fullpath)
+    return result
+
+#
 # Check arguments
 #
 tag = "-rHEAD"
@@ -118,8 +132,9 @@ shutil.rmtree("ice")
 # Remove files.
 #
 filesToRemove = [ \
-    "icej/makedist.py", \
+    os.path.join("icej", "makedist.py"), \
     ]
+filesToRemove.extend(find("icej", ".dummy"))
 for x in filesToRemove:
     os.remove(x)