ia64/xen-unstable

changeset 10218:ff6666d67b83

Explicitly use sh to run ioemu configure
instead of relying on configure executable permissions to be set.

Signed-off-by: Christian Limpach <Christian.Limpach@cl.cam.ac.uk>
author cl349@firebug.cl.cam.ac.uk
date Tue May 30 23:47:41 2006 +0100 (2006-05-30)
parents ac3a4fc11e3e
children afabaa39be52
files tools/Makefile
line diff
     1.1 --- a/tools/Makefile	Tue May 30 23:45:28 2006 +0100
     1.2 +++ b/tools/Makefile	Tue May 30 23:47:41 2006 +0100
     1.3 @@ -58,7 +58,7 @@ check_clean:
     1.4  ifndef XEN_NO_IOEMU
     1.5  ioemu ioemuinstall ioemuclean:
     1.6  	[ -f ioemu/config-host.h ] || \
     1.7 -	(cd ioemu; ./configure --prefix=usr)
     1.8 +	(cd ioemu; sh ./configure --prefix=usr)
     1.9  	$(MAKE) -C ioemu $(patsubst ioemu%,%,$@)
    1.10  else
    1.11  ioemu ioemuinstall ioemuclean: