1.1 --- a/tools/python/xen/xend/XendConfig.py	Thu Jun 25 13:14:37 2009 +0100
     1.2 +++ b/tools/python/xen/xend/XendConfig.py	Thu Jun 25 13:15:32 2009 +0100
     1.3 @@ -463,9 +463,11 @@ class XendConfig(dict):
     1.4              if 'device_model' not in self['platform']:
     1.5                  self['platform']['device_model'] = auxbin.pathTo("qemu-dm")
     1.6              # device_model may be set to 'qemu-dm' or 'stubdom-dm' w/o a path
     1.7 -            if os.path.dirname(self['platform']['device_model']) != "":
     1.8 +            if os.path.dirname(self['platform']['device_model']) == "":
     1.9                  self['platform']['device_model'] = \
    1.10                      auxbin.pathTo(self['platform']['device_model'])
    1.11 +            if not os.path.exists(self['platform']['device_model']):
    1.12 +                raise VmError("device model '%s' not found" % str(self['platform']['device_model']))
    1.13  
    1.14          if self.is_hvm():
    1.15              if 'timer_mode' not in self['platform']: