#!/bin/sh
#!/usr/bin/sh

if [ -x /usr/bin/ksh ] ; then
	KSH=/usr/bin/ksh
else
	KSH=/bin/ksh
	fi

## NOTE: hptac3k has /bin -> /usr/bin
chroot `pwd` $KSH -c "Commands/bin/exec_install"
