mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-07-03 07:05:24 +02:00
Version update check: avoid unnecessary diff prints
This commit is contained in:
parent
25ab426364
commit
3e5c7cea92
1 changed files with 2 additions and 2 deletions
|
@ -196,13 +196,13 @@ elif [ `basename $SITE` = signedUpdates ]; then
|
|||
ls ../updates/2.0/features | sort > f2.$$.txt
|
||||
echo "wc old-features:"
|
||||
wc f1.$$.txt
|
||||
diff f1.$$.txt f2.$$.txt
|
||||
diff f1.$$.txt f2.$$.txt | grep -v '^[>]'
|
||||
echo "VERIFYING VERSION CORRECNESS: Plugins"
|
||||
ls plugins | grep -v '_[12]\.0\.1\.v' | sort > p1.$$.txt
|
||||
ls ../updates/2.0/plugins | sort > p2.$$.txt
|
||||
echo "wc old-plugins:"
|
||||
wc p1.$$.txt
|
||||
diff p1.$$.txt p2.$$.txt
|
||||
diff p1.$$.txt p2.$$.txt | grep -v '^[>]'
|
||||
rm f1.$$.txt f2.$$.txt p1.$$.txt p2.$$.txt
|
||||
elif [ `basename $SITE` = milestones ]; then
|
||||
echo "Working on milestone update site"
|
||||
|
|
Loading…
Add table
Reference in a new issue