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 |