From dc5ef5b1612ed6ca466454dd84dddf06f2b72767 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Fri, 4 Feb 2011 14:56:08 +0100
Subject: [PATCH] review filtering of diffs on tags
---
check-onelab.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/check-onelab.sh b/check-onelab.sh
index 8af12ec..aa23a67 100755
--- 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"
- 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
--
2.47.0