configure
changeset 27 c16a00df5621
parent 24 a9543d2ccd56
child 31 a82b70738e5c
equal deleted inserted replaced
26:8340a591acf3 27:c16a00df5621
   128 		echo	"		\"generic\" for have independant CAN and TIMERS driver"
   128 		echo	"		\"generic\" for have independant CAN and TIMERS driver"
   129 		echo	"		\"unix\" for unix-like systems"
   129 		echo	"		\"unix\" for unix-like systems"
   130 		echo	"		\"win32\" for win32 systems"
   130 		echo	"		\"win32\" for win32 systems"
   131 		echo	"		\"hcs12\" for HCS12 micro-controller"
   131 		echo	"		\"hcs12\" for HCS12 micro-controller"
   132 		echo	"		\"ecos_lpc2138_sja1000\" for eCOS + Philips ARM LPC21381 + Philips SJA1000" 
   132 		echo	"		\"ecos_lpc2138_sja1000\" for eCOS + Philips ARM LPC21381 + Philips SJA1000" 
   133 		echo 	" --can=foo	Use 'foo' as CAN driver (can be either 'peak' or 'virtual')"
   133 		echo 	" --can=foo	Use 'foo' as CAN driver (can be either 'peak', 'lincan' or 'virtual')"
   134 		echo 	" --timers=foo	Use 'foo' as TIMERS driver (can be either 'unix' or 'xenomai')"
   134 		echo 	" --timers=foo	Use 'foo' as TIMERS driver (can be either 'unix' or 'xenomai')"
   135 		echo	" --led=foo	Use 'foo' as DS-305 LED driver (use 'none' to disable or 'stdout')"
   135 		echo	" --led=foo	Use 'foo' as DS-305 LED driver (use 'none' to disable or 'stdout')"
   136 		echo	" --nvram=foo	Use 'foo' as NVRAM driver (use 'none' to disable or 'file')"
   136 		echo	" --nvram=foo	Use 'foo' as NVRAM driver (use 'none' to disable or 'file')"
   137 		echo	" --disable-Ox	Disable gcc \"-Ox\" optimizations."
   137 		echo	" --disable-Ox	Disable gcc \"-Ox\" optimizations."
   138 		echo	" --enable-jaxe	Enable \"jaxe\" installation."
   138 		echo	" --enable-jaxe	Enable \"jaxe\" installation."