diff options
author | Marco Munari | 2021-02-04 10:33:33 +0100 |
---|---|---|
committer | Marco Munari | 2021-02-04 10:33:33 +0100 |
commit | 1e03b533344a69946fe66056ce430a175938eef0 (patch) | |
tree | e9197ea9c631ca5e668d634da253ca09dff11bef | |
parent | c1d2eb760eb3c56e80cc80286b5faa27ff531041 (diff) | |
download | aur-1e03b533344a69946fe66056ce430a175938eef0.tar.gz |
a preexisting attempt to rm depot/compiled compromized check result
-rw-r--r-- | PKGBUILD | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -5,7 +5,7 @@ _pkgbase=julia pkgbase=${_pkgbase}-git pkgname=(julia-git julia-git-docs) -pkgver=1.7.0.DEV.r48887.g6b91bbba6f6 +pkgver=1.7.0.DEV.r48888.g7b19e097294 pkgrel=1 arch=(x86_64) pkgdesc='High-level, high-performance, dynamic programming language' @@ -80,7 +80,6 @@ check() { --skip Distributed find ../stdlib \( -name \*.cov -o -name \*.mem \) -delete - rm -r depot/compiled } package_julia-git() { |