change #include "time_support.h" to <helper/time_support.h>
[fw/openocd] / src / flash / nor / at91sam3.c
index be17a5f807d3fcbdf78e2d8c4ccd8594e2c9fe14..b27ea941c1391ad478ca5d78a87386a0bc810113 100644 (file)
@@ -62,9 +62,9 @@
 #include <stddef.h>
 #include "types.h"
 #include "flash.h"
-#include "membuf.h"
+#include <helper/membuf.h>
 #include "at91sam3.h"
-#include "time_support.h"
+#include <helper/time_support.h>
 
 #define REG_NAME_WIDTH  (12)