Bodged to avoid breaking build-time processing of cfg_ioncore.lua.

diff --git a/debian/patches/211_add-debian-menu.diff b/debian/patches/211_add-debian-menu.diff
index 2f87b750f181f26287dbb4e1bbd285ac0efd4371..22203ced1b3a0910d2020a53569fc2449a167698 100644 (file)
--- a/debian/patches/211_add-debian-menu.diff
+++ b/debian/patches/211_add-debian-menu.diff
@@ -8,13 +8,13 @@
      submenu("Session",          "sessionmenu"),
  })
  
-@@ -381,3 +381,12 @@
+@@ -381,3 +382,12 @@
  defctxmenu("WClientWin", "Client window", {
      menuentry("Kill",           "WClientWin.kill(_)"),
  })
 +
 +-- Auto-generated Debian menu definitions
-+if os.execute("test -x /usr/bin/update-menus") == 0 then
++if os and os.execute("test -x /usr/bin/update-menus") == 0 then
 +    if ioncore.is_i18n() then
 +        dopath("debian-menu-i18n")
 +    else