diff options
Diffstat (limited to 'arch')
-rw-r--r-- | arch/parisc/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/arch/parisc/Makefile b/arch/parisc/Makefile index f93c4cd77980..7ecb5345378a 100644 --- a/arch/parisc/Makefile +++ b/arch/parisc/Makefile | |||
@@ -79,12 +79,12 @@ 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 test ! -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; \ |
86 | fi | 86 | fi |
87 | @if [ ! -f ./palo.conf ]; then \ | 87 | @if test ! -f ./palo.conf; then \ |
88 | cp arch/parisc/defpalo.conf palo.conf; \ | 88 | cp arch/parisc/defpalo.conf palo.conf; \ |
89 | echo 'A generic palo config file (./palo.conf) has been created for you.'; \ | 89 | echo 'A generic palo config file (./palo.conf) has been created for you.'; \ |
90 | echo 'You should check it and re-run "make palo".'; \ | 90 | echo 'You should check it and re-run "make palo".'; \ |