From 53eff24fe9f34162e7faf95ff28cbf52b2ba1cd3 Mon Sep 17 00:00:00 2001 From: Karsten Hopp Date: Mon, 2 Jun 2008 14:27:39 +0200 Subject: [PATCH] - fix check output --- Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index 25ce802..cb87b19 100644 --- a/Makefile +++ b/Makefile @@ -47,10 +47,10 @@ changelog: @(GIT_DIR=.git git-log > .changelog.tmp && mv .changelog.tmp ChangeLog || rm -f .changelog.tmp) || (touch ChangeLog; echo 'git directory not found: installing possibly empty changelog.' >&2) check: - [ -x /sbin/lspci ] && /sbin/lspci -i pci.ids > /dev/null - ./check-pci-ids.py + @[ -x /sbin/lspci ] && /sbin/lspci -i pci.ids > /dev/null || { echo "FAILURE: /sbin/lspci -i pci.ids"; exit 1; } && echo "OK: /sbin/lspci -i pci.ids" + @./check-pci-ids.py || { echo "FAILURE: ./check-pci-ids.py"; exit 1; } && echo "OK: ./check-pci-ids.py" @: videodrivers is tab-separated - [ `grep -vc ' ' videodrivers` -eq 0 ] + @[ `grep -vc ' ' videodrivers` -eq 0 ] || { echo "FAILURE: videodrivers not TAB separated"; exit 1; } && echo "OK: videodrivers" create-archive: @rm -rf $(NAME)-$(VERSION) $(NAME)-$(VERSION).tar* 2>/dev/null -- 2.25.1