change #include "time_support.h" to <helper/time_support.h>
[fw/openocd] / src / target / xscale.c
index ccb1de563d80aefa7f8439edc6674186728e69db..1acaba0765f21863cb2b1016ad24f39c9beab4b2 100644 (file)
@@ -33,7 +33,7 @@
 #include "arm_jtag.h"
 #include "arm_simulator.h"
 #include "arm_disassembler.h"
-#include "time_support.h"
+#include <helper/time_support.h>
 #include "register.h"
 #include "image.h"