* Makefile.in (ALLDEPFILES): Add armobsd-tdep.c. (armobsd-tdep.o): New dependency. * config/arm/obsd.mt: New file. * configure.tgt: (arm*-*-openbsd*): Set gdb_target to obsd.