diff --git a/arch/parisc/Makefile b/arch/parisc/Makefile index 3f1faca724ab6d26fb8d04bbd06c98b95d776503..f93c4cd7798005c0800e81942ca3b32cdef0fd5b 100644 --- a/arch/parisc/Makefile +++ b/arch/parisc/Makefile @@ -79,7 +79,7 @@ PALO := $(shell if which palo; then : ; \ fi) palo: vmlinux - @if [ -x $PALO ]; then \ + @if [ ! -x $(PALO) ]; then \ echo 'ERROR: Please install palo first (apt-get install palo)';\ echo 'or build it from source and install it somewhere in your $$PATH';\ false; \