path: root/dev/ci/azure-build.sh

#!/bin/bash

set -e -x

cd $(dirname $0)/../..

make -f Makefile.dune coq coqide-server