Index: makefile.include --- makefile.include.orig 2016-02-03 19:07:27.000000000 +0100 +++ makefile.include 2016-02-20 17:54:58.472615431 +0100 @@ -55,7 +55,7 @@ endif # COMPILE_DEBUG # adjust coverage set -ifneq ($(filter $(shell arch), i386 i686 x86_64 amd64 ia64),) +ifneq ($(filter $(shell uname -m), i386 i686 x86_64 amd64 ia64),) COVERAGE = test_standalone timing COVERAGE_APP = ./test && ./ltmtest else