onelab tags file has a new name

diff --git a/check-onelab.sh b/check-onelab.sh
index aa23a67..84b25df 100755 (executable)
--- a/check-onelab.sh
+++ b/check-onelab.sh
@@ -10,7 +10,7 @@ function usage () {
     echo "Usage: $COMMAND update|body|tags"
     echo "update: performs svn up on the mainstream build dir"
     echo "body: compares the .mk file"
-    echo "tags: compares the tags (taken from k32)"
+    echo "tags: compares the tags"
     exit 1
 }
 
@@ -28,10 +28,10 @@ function check_body () {
 }
 
 function check_tags () {
-    a=$REF/onelab-k32-tags.mk
+    a=$REF/onelab-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|openvswitch|sfa-|sface-|^[0-9,c]*$|^---$'
+    diff -w $REF/onelab-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