aboutsummarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorJP-Ellis2017-02-13 17:37:58 +1100
committerJP-Ellis2017-02-13 17:37:58 +1100
commitfd30a7a7dc5dd4ba08fdfc80bbb6ae21c33dae53 (patch)
tree208a88794d1ec13125d0c613cffd754d1e2cfd35
parente1ad627df9c326b225233b940a84cdf4f5f361f6 (diff)
downloadaur-fd30a7a7dc5dd4ba08fdfc80bbb6ae21c33dae53.tar.gz
Don't delete source files
They contain useful information about the various analyses. Signed-off-by: JP-Ellis <josh@jpellis.me>
-rw-r--r--PKGBUILD2
1 files changed, 0 insertions, 2 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 3f1c0e4c41fa..27fe938bfc31 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -68,8 +68,6 @@ package() {
cp -r "${srcdir}/CheckMATE-${pkgver}/tools" "${pkgdir}/usr/share/CheckMATE"
cp -r "${srcdir}/CheckMATE-${pkgver}/data" "${pkgdir}/usr/share/CheckMATE/"
- rm -rf "${pkgdir}/usr/share/CheckMATE/tools/analysis/src/" \
- "${pkgdir}/usr/share/CheckMATE/tools/fritz/src/"
}
# Local Variables: