equal
deleted
inserted
replaced
77 # Used for C compiler test/detection |
77 # Used for C compiler test/detection |
78 CFLAGS= |
78 CFLAGS= |
79 test=conftest |
79 test=conftest |
80 rm -f $test $test.c |
80 rm -f $test $test.c |
81 |
81 |
82 XENO_CONFIG=/usr/xenomai/bin/xeno-config |
82 if [ "$XENO_CONFIG" == "" ]; then |
|
83 XENO_CONFIG=/usr/xenomai/bin/xeno-config |
|
84 fi |
83 |
85 |
84 ########################################################################### |
86 ########################################################################### |
85 # ARGUMENTS PARSING # |
87 # ARGUMENTS PARSING # |
86 ########################################################################### |
88 ########################################################################### |
87 while [ $# -ge 1 ]; do |
89 while [ $# -ge 1 ]; do |