ia64/xen-unstable

view docs/check_pkgs @ 6386:a3822cb3b2b3

Fix the exception thrown when doing, for example, "xm domid" on a non-existent domain.
Signed-off-by: Dan Smith <danms@us.ibm.com>
Signed-off-by: Christian Limpach <Christian.Limpach@cl.cam.ac.uk>
author cl349@firebug.cl.cam.ac.uk
date Wed Aug 24 08:28:50 2005 +0000 (2005-08-24)
parents a01199a95070
children cf0c13832905
line source
2 silent_which ()
3 {
4 if ! `which $1 1>/dev/null 2>/dev/null`; then
5 echo "*************************************************"
6 echo "*************************************************"
7 echo "* WARNING: Package '$1' is required"
8 echo "* to build Xen documentation"
9 echo "*************************************************"
10 echo "*************************************************"
11 fi
12 which $1 1>/dev/null 2>/dev/null
13 }
15 silent_which latex || exit 1
16 silent_which dvips || exit 1
17 silent_which ps2pdf || exit 1
18 silent_which fig2dev || exit 1
20 exit 0