Replace the echo "ERROR: .." with
a call to $(error) to ensure make
fails with a non-zero return value.