diff options
Diffstat (limited to 'wm-addons/jgmenu/PRE_BUILD')
| -rwxr-xr-x | wm-addons/jgmenu/PRE_BUILD | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/wm-addons/jgmenu/PRE_BUILD b/wm-addons/jgmenu/PRE_BUILD index 064396da95..2af9ca2483 100755 --- a/wm-addons/jgmenu/PRE_BUILD +++ b/wm-addons/jgmenu/PRE_BUILD @@ -1,6 +1,11 @@ default_pre_build && cd "${SOURCE_DIRECTORY}" && +if [ ${JGMENU_XRANDR} == y ]; then + patch -p1 < "${SPELL_DIRECTORY}/at-pointer.patch" && + patch -p1 < "${SPELL_DIRECTORY}/xrandr.patch" +fi && + if [ ${JGMENU_SINGLE_WINDOW} == y ]; then patch -p1 < "${SPELL_DIRECTORY}/single_window.patch" fi |