| 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_
|
|
|