summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorMichel Zou2019-01-24 19:00:28 +0100
committerMichel Zou2019-01-24 19:00:28 +0100
commit731254a71ee63a48749efdc8efa61e16dfee207b (patch)
treebe05dc953f6ffce601023c6dcc203432cca30a42
parent32825c7f9daf2e3da71ac148e07010546ae11b4d (diff)
downloadaur-731254a71ee63a48749efdc8efa61e16dfee207b.tar.gz
#24
Diffstat
-rw-r--r--PKGBUILD2
1 files changed, 2 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 6ea5e65f678c..df1eeb05ed2d 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -15,6 +15,8 @@ _architectures="i686-w64-mingw32 x86_64-w64-mingw32"
prepare () {
cd aGrUM-$pkgver
+ # https://gitlab.com/agrumery/aGrUM/issues/24
+ curl -L https://gitlab.com/agrumery/aGrUM/merge_requests/175.patch | patch -p1
}
build() {