# HG changeset patch
# User etisserant
# Date 1190354640 -7200
# Node ID 9d41c53dadac289a0dd16c98aeb6e0171f675db6
# Parent  426552c56a5a9a58f2fd5b76db4355c0af6ccd8b
Typo in configure

diff -r 426552c56a5a -r 9d41c53dadac configure
--- 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