summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorDavid Allsopp <david.allsopp@metastack.com>2022-07-02 12:04:04 +0100
committerDavid Allsopp <david.allsopp@metastack.com>2022-09-27 21:02:37 +0100
commit5953934948eb925a72d247658fb27c16767367b6 (patch)
tree799dfb1e567c419e6346d7fdf26255fb70f04469 /tools
parentc534f97405dae54640efef1f0efd0759219d85b1 (diff)
downloadocaml-5953934948eb925a72d247658fb27c16767367b6.tar.gz
Turn the testsuite back on in AppVeyor
Diffstat (limited to 'tools')
-rw-r--r--tools/ci/appveyor/appveyor_build.sh5
1 files changed, 2 insertions, 3 deletions
diff --git a/tools/ci/appveyor/appveyor_build.sh b/tools/ci/appveyor/appveyor_build.sh
index ebee82eb6f..277ce33776 100644
--- a/tools/ci/appveyor/appveyor_build.sh
+++ b/tools/ci/appveyor/appveyor_build.sh
@@ -149,9 +149,8 @@ case "$1" in
$FULL_BUILD_PREFIX-$PORT/runtime/*.a \
$FULL_BUILD_PREFIX-$PORT/otherlibs/*/lib*.a
fi
- # FIXME At present, running the testsuite takes too long
- #run "test $PORT" \
- # $MAKE -C "$FULL_BUILD_PREFIX-$PORT/testsuite" SHOW_TIMINGS=1 parallel
+ run "test $PORT" \
+ $MAKE -C "$FULL_BUILD_PREFIX-$PORT/testsuite" SHOW_TIMINGS=1 parallel
run "install $PORT" $MAKE -C "$FULL_BUILD_PREFIX-$PORT" install
if [[ $PORT = 'msvc64' ]] ; then
run "$MAKE check_all_arches" \