Index: platforms/stm/disco_dartino/cmpctmalloc_test.sh |
diff --git a/platforms/stm/disco_fletch/cmpctmalloc_test.sh b/platforms/stm/disco_dartino/cmpctmalloc_test.sh |
similarity index 73% |
rename from platforms/stm/disco_fletch/cmpctmalloc_test.sh |
rename to platforms/stm/disco_dartino/cmpctmalloc_test.sh |
index 8d8d2bfb55115bb1c2b30ad065232b08f04d3f26..4ea760d7b65c2b759c70470884bfad5ef114ea1c 100755 |
--- a/platforms/stm/disco_fletch/cmpctmalloc_test.sh |
+++ b/platforms/stm/disco_dartino/cmpctmalloc_test.sh |
@@ -12,10 +12,10 @@ gcc \ |
-g \ |
-Og \ |
-I. \ |
- -DFLETCH_TARGET_OS_POSIX \ |
+ -DDARTINO_TARGET_OS_POSIX \ |
-DNO_NEWLIB_REENT \ |
-std=gnu99 \ |
- platforms/stm/disco_fletch/src/cmpctmalloc.c \ |
+ platforms/stm/disco_dartino/src/cmpctmalloc.c \ |
-c \ |
-o cmpctmalloc.o |
@@ -23,11 +23,11 @@ g++ \ |
-g \ |
-Og \ |
-I. \ |
- -DFLETCH_TARGET_OS_POSIX \ |
+ -DDARTINO_TARGET_OS_POSIX \ |
-DNO_NEWLIB_REENT \ |
--std=gnu++11 \ |
- platforms/stm/disco_fletch/src/page_allocator.cc \ |
- platforms/stm/disco_fletch/src/cmpctmalloc_test.cc \ |
+ platforms/stm/disco_dartino/src/page_allocator.cc \ |
+ platforms/stm/disco_dartino/src/cmpctmalloc_test.cc \ |
src/shared/assert.cc \ |
src/shared/platform_posix.cc src/shared/platform_linux.cc \ |
src/shared/utils.cc \ |