ARM11: per-core options should not be global
[fw/openocd] / src / target / arm720t.h
index b13cff8fa20321be5a4ebae1bd5d16a6bfc2b066..f0ab44477642ea6b8a385f1f0e39da82beefb9ac 100644 (file)
@@ -20,8 +20,8 @@
 #ifndef ARM720T_H
 #define ARM720T_H
 
-#include <target/arm7tdmi.h>
-#include <target/armv4_5_mmu.h>
+#include "arm7tdmi.h"
+#include "armv4_5_mmu.h"
 
 #define        ARM720T_COMMON_MAGIC 0xa720a720