dev/ci/azure-test.sh


1
2
3
4
5
6
7
8

#!/bin/bash

set -e -x

#NB: if we make test-suite from the main makefile we get environment
#too large for exec error
cd $(dirname $0)/../../
make -f Makefile.dune test-suite