diff options
| author | Erich Eckner <git@eckner.net> | 2019-07-05 09:03:36 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-07-05 09:03:36 +0200 |
| commit | ed01aa7d5cec54e3a5ccbd2a183446a7ab0734c2 (patch) | |
| tree | 2ec682c3e5aecf1db4a254d3c1d34604cdcd2948 | |
| parent | 678ca43df2cac8c447a80d8c6c8853e55ea0d855 (diff) | |
| download | packages-ed01aa7d5cec54e3a5ccbd2a183446a7ab0734c2.tar.xz | |
community/gcc8: make failing `rm -r` non-fatal
| -rw-r--r-- | community/gcc8/PKGBUILD | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/community/gcc8/PKGBUILD b/community/gcc8/PKGBUILD index b4093ee9..2abb3276 100644 --- a/community/gcc8/PKGBUILD +++ b/community/gcc8/PKGBUILD @@ -15,6 +15,7 @@ eval "$( declare -f package_gcc8 | \ sed ' s@make.*tsan.*install@#\0@ + s@rm -r @rm -rf @ ' )" |