ia64/xen-unstable

view docs/check_pkgs @ 3847:02a6b1fa80df

bitkeeper revision 1.1215 (42142daa9YHoIs3M6QPvH1qZYBJO5g)

IDT fixes. Initialise IDT sanely on x86/64. On x86/32 try to keep
per-cpu IDTs in sync better.
Signed-off-by: Keir Fraser <keir@xensource.com>
author kaf24@scramble.cl.cam.ac.uk
date Thu Feb 17 05:37:46 2005 +0000 (2005-02-17)
parents 0a4b76b6b5a0
children 6ec681cae4e1 a01199a95070
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 latex2html || exit 1
17 silent_which dvips || exit 1
18 silent_which ps2pdf || exit 1
19 silent_which fig2dev || exit 1
20 silent_which tgif || exit 1
22 exit 0