#!/bin/bash

. ./functions.sh

make default-config || error default-config

make distclean
LC_MESSAGES=C
export LC_MESSAGES
set -o pipefail
make 2>&1 | tee stderr || error make
grep "control reaches end of non-void function" stderr || error "Default CFLAGS are not applied or no GCC is used"