[ECOS] configuring under Linux

[Stan Shebs]

   From: gmcfadden@westsoft-systems.com
   Date: Fri, 5 Feb 1999 10:32:45 -0800 (PST)

   gcc -c -g -O2    -I. -I/usr/cygnus/ecosSWtools-981021/src/gdb -I/usr/cygnus/ecosSWtools-981021/src/gdb/config -DHAVE_CONFIG_H -I/usr/cygnus/ecosSWtools-981021/src/gdb/../include/opcode -I/usr/cygnus/ecosSWtools-981021/src/gdb/../readline -I../bfd -I/usr/cygnus/ecosSWtools-981021/src/gdb/../bfd  -I/usr/cygnus/ecosSWtools-981021/src/gdb/../include  /usr/cygnus/ecosSWtools-981021/src/gdb/infptrace.c

infptrace.c should never be compiled into a GDB used for debugging eCos,
so something is weird about your configury - how exactly did you configure,
and on which host?

								Stan