Use $(SHELL) to find shell to run get-fields.sh script.

Signed-off-by: Keir Fraser <keir@xensource.com>

xen/include/Makefile

@@ -61,7 +61,7 @@ compat/%.c: public/%.h xlat.lst Makefile
 compat/xlat.h: xlat.lst $(filter-out compat/xlat.h,$(headers-y)) $(BASEDIR)/tools/get-fields.sh Makefile
 	grep -v '^[	 ]*#' xlat.lst | \
 	while read what name hdr; do \
-		/bin/sh $(BASEDIR)/tools/get-fields.sh "$$what" compat_$$name $$(echo compat/$$hdr | sed 's,@arch@,$(compat-arch-y),g') || exit $$?; \
+		$(SHELL) $(BASEDIR)/tools/get-fields.sh "$$what" compat_$$name $$(echo compat/$$hdr | sed 's,@arch@,$(compat-arch-y),g') || exit $$?; \
 	done >$@.new
 	mv -f $@.new $@
 

xen/tools/get-fields.sh

@@ -1,4 +1,3 @@
-#!/bin/sh
 test -n "$1" -a -n "$2" -a -n "$3"
 set -ef