# HG changeset patch
# User kaf24@firebug.cl.cam.ac.uk
# Date 1130775084 -3600
# Node ID cf0c13832905dfa632305d6dcba140ba83be03ad
# Parent  60c941136be95870a10bfc2747fce0c2c1f71dfe
Make check_pkgs work with the Bourne shell



diff -r 60c941136be9 -r cf0c13832905 docs/check_pkgs
--- a/docs/check_pkgs	Mon Oct 31 17:10:41 2005 +0100
+++ b/docs/check_pkgs	Mon Oct 31 17:11:24 2005 +0100
@@ -1,14 +1,14 @@
 
 silent_which ()
 {
-        if ! `which $1 1>/dev/null 2>/dev/null`; then
+        which $1 1>/dev/null 2>/dev/null || {
                 echo "*************************************************"
                 echo "*************************************************"
                 echo "* WARNING: Package '$1' is required"
                 echo "*          to build Xen documentation"
                 echo "*************************************************"
                 echo "*************************************************"
-        fi
+        }
         which $1 1>/dev/null 2>/dev/null
 }