[ECOS]: "recipe for target `arm.inc' failed" while building library

[Bob Brusa <bob dot brusa at gmail dot com>]

 Hi,
when building a library, I get the following output:

...cut
make[1]: Leaving directory 
`/cygdrive/c/Projekte/TDSsw/libs/tds_lib_17_build/services/crc/current'
headers finished
make -r -C hal/arm/arch/current arm.inc
make[1]: Entering directory 
`/cygdrive/c/Projekte/TDSsw/libs/tds_lib_17_build/hal/arm/arch/current'
arm-none-eabi-gcc -finline-limit=7000 -Os -Wall -Wpointer-arith 
-Wstrict-prototypes -Wundef  -Wno-write-strings -mcpu=arm7tdmi -g 
-ffunction-sections -fdata-sections  -fno-exceptions 
-mno-thumb-interwork 
-I/cygdrive/c/Projekte/TDSsw/libs/tds_lib_17_install/include 
-I/opt/ecos/packages/hal/arm/arch/current 
-I/opt/ecos/packages/hal/arm/arch/current/src 
-I/opt/ecos/packages/hal/arm/arch/current/tests -I. -Wp,-MD,arm.tmp -o 
hal_mk_defs.tmp -S /opt/ecos/packages/hal/arm/arch/current/src/hal_mk_defs.c
makefile:37: recipe for target `arm.inc' failed
arm-none-eabi-gcc.exe: error: 
/opt/ecos/packages/hal/arm/arch/current/src/hal_mk_defs.c: No error
make[1]: Leaving directory 
`/cygdrive/c/Projekte/TDSsw/libs/tds_lib_17_build/hal/arm/arch/current'
arm-none-eabi-gcc.exe: fatal error: no input files
makefile:15: recipe for target `build' failed
compilation terminated.
make: Leaving directory `/cygdrive/c/Projekte/TDSsw/libs/tds_lib_17_build'
make[1]: *** [arm.inc] Error 1
make: *** [build] Error 2

This is when using the codesourcery lite 4.7.1 and eCos Configuration 
Tool3.net. When building the library using the toolchain that came with 
eCos3.0, it works.
Thanks for help - Bob

--
Before posting, please read the FAQ: http://ecos.sourceware.org/fom/ecos
and search the list archive: http://ecos.sourceware.org/ml/ecos-discuss