xen-gawk.patch

   1 --- xen-4.4.1/tools/flask/policy/Makefile.orig  2014-10-22 22:35:07.033124118 +0200
   2 +++ xen-4.4.1/tools/flask/policy/Makefile       2014-10-22 22:42:54.523104517 +0200
   3 @@ -86,7 +86,7 @@
   4  MODENABLED := on
   5
   6  # extract settings from modules.conf
   7 -ENABLED_MODS := $(foreach mod,$(shell awk '/^[ \t]*[a-z]/{ if ($$3 == "$(MODENABLED)") print $$1 }' $(MOD_CONF) 2> /dev/null),$(subst ./,,$(shell find -iname $(mod).te)))
   8 +ENABLED_MODS := $(foreach mod,$(shell gawk '/^[ \t]*[a-z]/{ if ($$3 == "$(MODENABLED)") print $$1 }' $(MOD_CONF) 2> /dev/null),$(subst ./,,$(shell find -iname $(mod).te)))
   9
  10  ALL_MODULES := $(filter $(ENABLED_MODS),$(DETECTED_MODS))
  11