1#!/usr/bin/env bash
2#
3# Short script to verify behaviour of configure_ci_environment.sh
4#
5#
6cd $(dirname $0)  # make dir
7
8(
9    . ./configure_ci_environment.sh
10    [[ $PEDANTIC_CFLAGS ]] || { echo "PEDANTIC_CFLAGS is not defined"; exit 1; }
11) || { exit 1; }
12