diff options
author | Vladimir Panteleev | 2020-11-12 13:54:37 +0000 |
---|---|---|
committer | Vladimir Panteleev | 2020-11-12 13:54:53 +0000 |
commit | 6e51565096716082324fca940c92948b8bad4140 (patch) | |
tree | 883091c1e25b84910ceecb3571c2a522b764ab41 | |
parent | 2ef48c8df0c43bbefede75450b11147572b58727 (diff) | |
download | aur-6e51565096716082324fca940c92948b8bad4140.tar.gz |
PKGBUILD: Retry without --rdmd if that fails
-rw-r--r-- | PKGBUILD | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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() { |