#!/bin/sh
set -C -e -f -u
cp -r test "$ADTTMP"
cp lib/gnat/aunit_shared.gpr  "$ADTTMP/test"
make -C "$ADTTMP/test" "GPRBUILD=gnatmake -eS"

# TODO: -eS should become -q.
