Signed-off-by: Kyle McMartin <kyle@mcmartin.ca>
fi)
palo: vmlinux
- @if [ ! -x $(PALO) ]; then \
+ @if test ! -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; \
fi
- @if [ ! -f ./palo.conf ]; then \
+ @if test ! -f ./palo.conf; then \
cp arch/parisc/defpalo.conf palo.conf; \
echo 'A generic palo config file (./palo.conf) has been created for you.'; \
echo 'You should check it and re-run "make palo".'; \