diff options
Diffstat (limited to 'arch')
| -rw-r--r-- | arch/parisc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/arch/parisc/Makefile b/arch/parisc/Makefile index 3f1faca724ab..f93c4cd77980 100644 --- a/arch/parisc/Makefile +++ b/arch/parisc/Makefile | |||
| @@ -79,7 +79,7 @@ PALO := $(shell if which palo; then : ; \ | |||
| 79 | fi) | 79 | fi) |
| 80 | 80 | ||
| 81 | palo: vmlinux | 81 | palo: vmlinux |
| 82 | @if [ -x $PALO ]; then \ | 82 | @if [ ! -x $(PALO) ]; then \ |
| 83 | echo 'ERROR: Please install palo first (apt-get install palo)';\ | 83 | echo 'ERROR: Please install palo first (apt-get install palo)';\ |
| 84 | echo 'or build it from source and install it somewhere in your $$PATH';\ | 84 | echo 'or build it from source and install it somewhere in your $$PATH';\ |
| 85 | false; \ | 85 | false; \ |