review filtering of diffs on tags

diff --git a/check-onelab.sh b/check-onelab.sh
index 8af12ec..aa23a67 100755 (executable)
--- a/check-onelab.sh
+++ b/check-onelab.sh
@@ -31,7 +31,7 @@ function check_tags () {
     a=$REF/onelab-k32-tags.mk
     b=wextoolbox-tags.mk
     echo "Checking tags $a $b"
     a=$REF/onelab-k32-tags.mk
     b=wextoolbox-tags.mk
     echo "Checking tags $a $b"

-    diff -w $REF/onelab-k32-tags.mk wextoolbox-tags.mk | egrep -v '^(<|>) #|SVNBRANCH|nozomi|comgt|planetlab-umts-tools|boost|gnuradio|bbn_80211|crunchxml|spectools|ejabberd|omf|DistributedRateLimiting'
+    diff -w $REF/onelab-k32-tags.mk wextoolbox-tags.mk | egrep -v '^(<|>) #|SVNBRANCH|nozomi|comgt|planetlab-umts-tools|boost|gnuradio|bbn_80211|crunchxml|spectools|ejabberd|omf|DistributedRateLimiting|openvswitch|sfa-|sface-|^[0-9,c]*$|^---$'

 }
 
 [[ -z "$@" ]] && usage
 }
 
 [[ -z "$@" ]] && usage