/* Configuration for GCC for ns32k running NetBSD as host.  */

/* Nothing needs to be done */