ia64/xen-unstable

annotate docs/check_pkgs @ 19507:1f705f0a32e2

x86_64: explicitly zero CR[1] in getvcpucontext for guests with no user PT

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
author Keir Fraser <keir.fraser@citrix.com>
date Mon Apr 06 13:56:35 2009 +0100 (2009-04-06)
parents 59d511c4a8d8
children
rev   line source
kaf24@2826 1
kaf24@2826 2 silent_which ()
kaf24@2826 3 {
kaf24@7588 4 which $1 1>/dev/null 2>/dev/null || {
keir@19027 5 echo "================================================="
keir@19027 6 echo "================================================="
keir@19027 7 echo "= WARNING: Package '$1' is required"
keir@19027 8 echo "= to build Xen documentation"
keir@19027 9 echo "================================================="
keir@19027 10 echo "================================================="
kaf24@7588 11 }
kaf24@2826 12 which $1 1>/dev/null 2>/dev/null
kaf24@2826 13 }
kaf24@2826 14
kaf24@2826 15 silent_which latex || exit 1
kaf24@2826 16 silent_which dvips || exit 1
kaf24@2826 17 silent_which ps2pdf || exit 1
kaf24@2826 18 silent_which fig2dev || exit 1
kaf24@2826 19
kaf24@2826 20 exit 0