src/gnu/dist/gcc/gcc/config/ip2k
