summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorVladimir Panteleev2020-11-12 13:54:37 +0000
committerVladimir Panteleev2020-11-12 13:54:53 +0000
commit6e51565096716082324fca940c92948b8bad4140 (patch)
tree883091c1e25b84910ceecb3571c2a522b764ab41
parent2ef48c8df0c43bbefede75450b11147572b58727 (diff)
downloadaur-6e51565096716082324fca940c92948b8bad4140.tar.gz
PKGBUILD: Retry without --rdmd if that fails
-rw-r--r--PKGBUILD3
1 files changed, 2 insertions, 1 deletions
diff --git a/PKGBUILD b/PKGBUILD
index bebd8d52dede..93a025f50b41 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -35,7 +35,8 @@ prepare() {
build() {
cd "${srcdir}/${pkgname}-${pkgver}"
- HOME="${srcdir}" dub --skip-registry=all build -b release --rdmd # --rdmd creates smaller binaries
+ HOME="${srcdir}" dub --skip-registry=all build -b release --rdmd || # --rdmd creates smaller binaries
+ HOME="${srcdir}" dub --skip-registry=all build -b release # retry without --rdmd - https://github.com/dlang/dub/pull/2033
}
package() {