--- a/configure Wed Sep 19 13:25:50 2007 +0200
+++ b/configure Fri Sep 21 08:04:00 2007 +0200
@@ -78,7 +78,7 @@
test=conftest
rm -f $test $test.c
-if [ "$XENO_CONFIG" == "" ]; then
+if [ "$XENO_CONFIG" = "" ]; then
XENO_CONFIG=/usr/xenomai/bin/xeno-config
fi