| Index: platforms/stm/disco_dartino/page_allocator_test.sh
|
| diff --git a/platforms/stm/disco_fletch/page_allocator_test.sh b/platforms/stm/disco_dartino/page_allocator_test.sh
|
| similarity index 76%
|
| rename from platforms/stm/disco_fletch/page_allocator_test.sh
|
| rename to platforms/stm/disco_dartino/page_allocator_test.sh
|
| index a26a17aa1f53ce9245062870e0992a5105ce462a..daab6d40531b0751eb8b0c4e67e7ca28e21753ca 100755
|
| --- a/platforms/stm/disco_fletch/page_allocator_test.sh
|
| +++ b/platforms/stm/disco_dartino/page_allocator_test.sh
|
| @@ -12,10 +12,10 @@ g++ \
|
| -g \
|
| -Og \
|
| -I. \
|
| - -DFLETCH_TARGET_OS_POSIX \
|
| + -DDARTINO_TARGET_OS_POSIX \
|
| --std=gnu++11 \
|
| - platforms/stm/disco_fletch/src/page_allocator_test.cc \
|
| - platforms/stm/disco_fletch/src/page_allocator.cc \
|
| + platforms/stm/disco_dartino/src/page_allocator_test.cc \
|
| + platforms/stm/disco_dartino/src/page_allocator.cc \
|
| src/shared/assert.cc \
|
| src/shared/platform_posix.cc src/shared/platform_linux.cc \
|
| src/shared/utils.cc
|
|
|