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