From c55d78193fd0615f37658fe1360af6332a127354 Mon Sep 17 00:00:00 2001
From: Keir Fraser <keir.fraser@citrix.com>
Date: Tue, 14 Jul 2009 14:46:04 +0100
Subject: stubdom: fix stubdom-dm error path

Exit the shell and not a subshell.

Signed-off-by: Christoph Egger <Christoph.Egger@amd.com>
---
 stubdom/stubdom-dm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'stubdom')

diff --git a/stubdom/stubdom-dm b/stubdom/stubdom-dm
index c138e00945..8faca31843 100644
--- a/stubdom/stubdom-dm
+++ b/stubdom/stubdom-dm
@@ -74,8 +74,8 @@ do
     shift
 done
 
-[ -z "$domid"   ] && ( echo "couldn't find domain ID" ; exit 1 )
-[ -z "$domname" ] && ( echo "couldn't find domain name" ; exit 1 )
+[ -z "$domid"   ] && { echo "couldn't find domain ID" ; exit 1; }
+[ -z "$domname" ] && { echo "couldn't find domain name" ; exit 1; }
 
 # Termination handler
 
-- 
cgit v1.2.3