4 --prefix=* | --install_prefix=* )
5 INSTALL_PREFIX=`echo $option | sed -e 's/[^=]*=//;'`
8 + TARGET=`echo $option | sed -e 's/[^=]*=//;'`
9 + OPERATINGSYSTEM=`echo $TARGET | sed -e 's/.*-//;'`
10 + MACHINE=`echo $TARGET | sed -e 's/-.*//;'`
12 + SYSTEM=${OPERATINGSYSTEM}-${MACHINE}
15 EXTRA_DEFS="-DTRACEON"
23 EXTRA_OBJECTS="sys_linux.o wrap_adjtimex.o"
24 if [ $feat_rtc -eq 1 ] ; then
25 EXTRA_OBJECTS+=" rtc_linux.o"