| Index: platforms/stm/disco_fletch/page_allocator_test.sh
|
| diff --git a/platforms/stm/disco_fletch/page_allocator_test.sh b/platforms/stm/disco_fletch/page_allocator_test.sh
|
| deleted file mode 100755
|
| index a26a17aa1f53ce9245062870e0992a5105ce462a..0000000000000000000000000000000000000000
|
| --- a/platforms/stm/disco_fletch/page_allocator_test.sh
|
| +++ /dev/null
|
| @@ -1,23 +0,0 @@
|
| -#!/bin/sh
|
| -# Copyright (c) 2016, the Dartino project authors. Please see the AUTHORS file
|
| -# 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.
|
| -
|
| -# Temporary script for testing the page allocator.
|
| -rm a.out
|
| -
|
| -set -e
|
| -
|
| -g++ \
|
| - -g \
|
| - -Og \
|
| - -I. \
|
| - -DFLETCH_TARGET_OS_POSIX \
|
| - --std=gnu++11 \
|
| - platforms/stm/disco_fletch/src/page_allocator_test.cc \
|
| - platforms/stm/disco_fletch/src/page_allocator.cc \
|
| - src/shared/assert.cc \
|
| - src/shared/platform_posix.cc src/shared/platform_linux.cc \
|
| - src/shared/utils.cc
|
| -
|
| -./a.out
|
|
|