#! /bin/sh
#=========================================================================
# Copyright (C) VMware, Inc. 1986-2011.  All Rights Reserved..
#
# Name - stopstone.sh
#
# $Id: stopstone.sh,v 1.4 2008-01-09 22:50:53 stever Exp $
#
#=========================================================================
if [ "x$GEMSTONE" = "x" ]; then
  echo "stopstone[Error]: GEMSTONE environment variable is not defined."
  exit 1
fi
exec $GEMSTONE/sys/gem stopstone "$@"
