Index: platforms/stm/disco_dartino/src/globals.h |
diff --git a/platforms/stm/disco_fletch/src/globals.h b/platforms/stm/disco_dartino/src/globals.h |
similarity index 81% |
rename from platforms/stm/disco_fletch/src/globals.h |
rename to platforms/stm/disco_dartino/src/globals.h |
index d58705491bec82ed948dd2d25494e6d0c49b2639..2e49c2398434c3af1b3c3a0eb2b9f5bfc11c67be 100644 |
--- a/platforms/stm/disco_fletch/src/globals.h |
+++ b/platforms/stm/disco_dartino/src/globals.h |
@@ -2,8 +2,8 @@ |
// for details. All rights reserved. Use of this source code is governed by a |
// BSD-style license that can be found in the LICENSE.md file. |
-#ifndef PLATFORMS_STM_DISCO_FLETCH_SRC_GLOBALS_H_ |
-#define PLATFORMS_STM_DISCO_FLETCH_SRC_GLOBALS_H_ |
+#ifndef PLATFORMS_STM_DISCO_DARTINO_SRC_GLOBALS_H_ |
+#define PLATFORMS_STM_DISCO_DARTINO_SRC_GLOBALS_H_ |
// Use 4kb pages. |
#define PAGE_SIZE_SHIFT 12 |
@@ -18,4 +18,4 @@ |
#define PAGE_ALIGN(x) ALIGN(x, PAGE_SIZE) |
#define IS_PAGE_ALIGNED(x) IS_ALIGNED(x, PAGE_SIZE) |
-#endif // PLATFORMS_STM_DISCO_FLETCH_SRC_GLOBALS_H_ |
+#endif // PLATFORMS_STM_DISCO_DARTINO_SRC_GLOBALS_H_ |