author | etisserant |
Fri, 11 May 2007 18:34:54 +0200 | |
changeset 190 | 3248a2d6bb0b |
parent 189 | 1c1d1893f1c9 |
child 191 | 1e6e3d261b8f |
--- a/configure Fri May 11 18:34:26 2007 +0200 +++ b/configure Fri May 11 18:34:54 2007 +0200 @@ -79,7 +79,9 @@ test=conftest rm -f $test $test.c -XENO_CONFIG=/usr/xenomai/bin/xeno-config +if [ "$XENO_CONFIG" == "" ]; then + XENO_CONFIG=/usr/xenomai/bin/xeno-config +fi ########################################################################### # ARGUMENTS PARSING #