tools/cloney
changeset 198 172fc01ce997
parent 179 ca3935296621
child 5240 6c0884f75bd9
--- a/tools/cloney	Fri Apr 22 12:12:20 2011 -0700
+++ b/tools/cloney	Thu Apr 07 16:25:07 2011 -0700
@@ -38,14 +38,17 @@
 cd ${srcdir}
 gfind . -type d | \
     grep -v '^.$' | \
-    gsed -e 's,^./,,' | \
+    gsed -e 's,^\./,,' | \
     while read i;
 do
 	mkdir -p "${destdir}/$i"
 done
 
+# Copy files and symlinks, making sure we ignore the gnu-patch backup
+# files, too.
 gfind . -type f -o -type l | \
-    gsed -e 's,^./,,' | \
+    egrep -v '~[0-9]+~' | \
+    gsed -e 's,^\./,,' | \
     while read i;
 do
 	rm -f "${destdir}/$i"