--- gcc/config/ns32k/tek6200.h	2018/04/24 18:10:24	1.1.1.1
+++ gcc/config/ns32k/tek6200.h	2018/04/24 18:14:51	1.1.1.2
@@ -2,5 +2,6 @@
 
 #undef CPP_PREDEFINES
 #define CPP_PREDEFINES \
- "-Dns32000 -Dns32k -Dns16000 -Dns32016 -DUTek -DUTEK -Dbsd -DBSD -Dmerlin"
+ "-Dns32000 -Dns32k -Dns16000 -Dns32016 -DUTek -DUTEK -Dbsd -DBSD -Dmerlin \
+  -Asystem(unix) -Asystem(bsd) -Acpu(ns32k) -Amachine(ns32k)"