--- uae/src/build68k.c	2018/04/24 17:00:12	1.1.1.5
+++ uae/src/build68k.c	2018/04/24 17:02:04	1.1.1.6
@@ -12,8 +12,6 @@
 #include <assert.h>
 #include <ctype.h>
 
-#include "config.h"
-#include "options.h"
 #include "readcpu.h"
 
 static FILE *tablef;
@@ -60,8 +58,6 @@ int main(int argc, char **argv)
 
     printf ("#include \"sysconfig.h\"\n");
     printf ("#include \"sysdeps.h\"\n");
-    printf ("#include \"config.h\"\n");
-    printf ("#include \"options.h\"\n");
     printf ("#include \"readcpu.h\"\n");
     printf ("struct instr_def defs68k[] = {\n");
 #if 0