function check_body () {
a=$REF/lxc.mk
- b=wextoolbox.mk
+ b=wexlxc.mk
echo "Checking body $a $b"
diff -w $a $b | egrep -v '^(<|>)( #| +$)|nozomi|comgt|planetlab-umts-tools|boost|gnuradio|bbn|crunchxml|spectools|sge|iwlwifi|kernelconfig=planetlab|umts|DistributedRateLimiting'
}