diff options
Diffstat (limited to 'config/eu.am')
-rw-r--r-- | config/eu.am | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/config/eu.am b/config/eu.am index c3b00e08..faf8add4 100644 --- a/config/eu.am +++ b/config/eu.am @@ -52,4 +52,10 @@ endif CLEANFILES = *.gcno *.gcda -textrel_check = if $(READELF) -d $@ | fgrep -q TEXTREL; then exit 1; fi +textrel_msg = echo "WARNING: TEXTREL found in '$@'" +if FATAL_TEXTREL +textrel_found = $(textrel_msg); exit 1 +else +textrel_found = $(textrel_msg) +endif +textrel_check = if $(READELF) -d $@ | fgrep -q TEXTREL; then $(textrel_found); fi |