X-Git-Url: https://git.decadent.org.uk/gitweb/?p=ion3.git;a=blobdiff_plain;f=debian%2Fpatches%2F211_add-debian-menu.diff;h=22203ced1b3a0910d2020a53569fc2449a167698;hp=2f87b750f181f26287dbb4e1bbd285ac0efd4371;hb=2ee30716afcae989239796ac7b77e89e0bc4fed7;hpb=bfe963382889292e7294decbb95e9be5c6fac662

diff --git a/debian/patches/211_add-debian-menu.diff b/debian/patches/211_add-debian-menu.diff
index 2f87b75..22203ce 100644
--- 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