update-source: exclude files already in git tree

diff --git a/update-source.sh b/update-source.sh
index 63062b6d93464f93484e6d934998e44b73856240..7a3b773faf2a8b62e06cc4ff0ef01dcd14d2a90c 100755 (executable)
--- a/update-source.sh
+++ b/update-source.sh
@@ -37,7 +37,10 @@ if [ "$1" ]; then
        ver=$1
 else
        echo "Fetching latest patches list..."
-       wget -nv $sources -O sources
+       wget -nv $sources -O sources.new
+       # exclude files already in git tree
+       git ls-files "$basever.*" | sed -e 's/\./\\./g;s/$/$/'| grep -vf - sources.new > sources
+       rm sources.new
        # also update patches README
        wget -nv $baseurl/README -O README.patches
        ver=$(tail -n1 sources | awk '{print $NF}')