From af00148aeb9f5f09a08b9e9aa34a6d67a84396b2 Mon Sep 17 00:00:00 2001 From: maxice8 Date: Mon, 13 Nov 2017 19:17:03 -0200 Subject: [PATCH] jgmenu: update to 0.7.4. Closes #9157. --- srcpkgs/jgmenu/template | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/srcpkgs/jgmenu/template b/srcpkgs/jgmenu/template index 35a9af6097d..5de1c20564f 100644 --- a/srcpkgs/jgmenu/template +++ b/srcpkgs/jgmenu/template @@ -1,6 +1,6 @@ # Template file for 'jgmenu' pkgname=jgmenu -version=0.7.3 +version=0.7.4 revision=1 build_style=gnu-makefile make_use_env=yes @@ -14,4 +14,8 @@ short_desc="Small X11 menu intended to be used with openbox and tint2" homepage="https://www.github.com/johanmalm/jgmenu" license="GPL-2" distfiles="https://www.github.com/johanmalm/jgmenu/archive/v${version}.tar.gz" -checksum=30b58153dc3d939d261f5aa15561a1cce760dc219f0286cdc435bb9575bb02bb +checksum=cff29668a484bce046c6c2731f319cddf59623722afcf01ab29c9698df106fcc + +do_check() { + make check +}