debuggers.hg

view install.sh @ 3374:b2fa96909734

bitkeeper revision 1.1159.1.507 (41d2c267giyCo6LZ_--l9fFOwkMRIQ)

manual merge
author kaf24@scramble.cl.cam.ac.uk
date Wed Dec 29 14:42:47 2004 +0000 (2004-12-29)
parents 622f60f46a5a
children 30d3c3a3018d 074d7606fd61 d8ba911dce48 0dc3b8b8c298
line source
1 #!/bin/sh
3 src='./install'
4 if [ -d ./dist ]; then
5 src='./dist/install'
6 fi
8 if ! [ -d $src ]; then
9 echo "ERROR: Could not find a valid distribution directory."
10 echo " If this is a source-only release, try 'make dist'."
11 exit 1
12 fi
14 dst='/'
15 if [ $# -ne 0 ]; then
16 dst=$1
17 fi
19 if ! [ -d $dst ]; then
20 echo "ERROR: You must specify a valid install directory."
21 echo " The specified directory '$dst' is not valid."
22 exit 1
23 fi
25 echo "Installing Xen from '$src' to '$dst'..."
26 cp -fdR $src/* $dst
27 echo "All done."
29 echo "Checking to see whether prerequisite tools are installed..."
30 cd $src/../check
31 ./chk install
32 echo "All done."
34 exit 0