debuggers.hg

changeset 19976:98e606e9d173

stubdom: fix stubdom-dm error path

Exit the shell and not a subshell.

Signed-off-by: Christoph Egger <Christoph.Egger@amd.com>
author Keir Fraser <keir.fraser@citrix.com>
date Tue Jul 14 14:46:04 2009 +0100 (2009-07-14)
parents e845326ae203
children eac682b9c7bc
files stubdom/stubdom-dm
line diff
     1.1 --- a/stubdom/stubdom-dm	Tue Jul 14 14:43:19 2009 +0100
     1.2 +++ b/stubdom/stubdom-dm	Tue Jul 14 14:46:04 2009 +0100
     1.3 @@ -74,8 +74,8 @@ do
     1.4      shift
     1.5  done
     1.6  
     1.7 -[ -z "$domid"   ] && ( echo "couldn't find domain ID" ; exit 1 )
     1.8 -[ -z "$domname" ] && ( echo "couldn't find domain name" ; exit 1 )
     1.9 +[ -z "$domid"   ] && { echo "couldn't find domain ID" ; exit 1; }
    1.10 +[ -z "$domname" ] && { echo "couldn't find domain name" ; exit 1; }
    1.11  
    1.12  # Termination handler
    1.13