#!/bin/sh
set -C -e -f -u
TOP_SOURCE_DIR="`pwd`"
cd "$ADTTMP"

# test that default gpr search path follows Debian Ada policy
# test that -s (check switches) doesn't attempt to write in system directories
gprbuild "$TOP_SOURCE_DIR/debian/tests/bug_571013.gpr"
gprclean "$TOP_SOURCE_DIR/debian/tests/bug_571013.gpr"
