configure
changeset 278 9d41c53dadac
parent 275 7d5130f2f8ab
child 279 9b69f2fabafe
equal deleted inserted replaced
277:426552c56a5a 278:9d41c53dadac
    76 # Used for C compiler test/detection 
    76 # Used for C compiler test/detection 
    77 CFLAGS=
    77 CFLAGS=
    78 test=conftest
    78 test=conftest
    79 rm -f $test $test.c
    79 rm -f $test $test.c
    80 
    80 
    81 if [ "$XENO_CONFIG" == "" ]; then
    81 if [ "$XENO_CONFIG" = "" ]; then
    82 	XENO_CONFIG=/usr/xenomai/bin/xeno-config
    82 	XENO_CONFIG=/usr/xenomai/bin/xeno-config
    83 fi
    83 fi
    84 
    84 
    85 ###########################################################################
    85 ###########################################################################
    86 #                          ARGUMENTS PARSING                              #
    86 #                          ARGUMENTS PARSING                              #