summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--PKGBUILD4
1 files changed, 3 insertions, 1 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 1dfaba47cd1..ae9610be205 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -32,4 +32,6 @@ package() {
MERCURY_COMPILER="$pkgdir"/usr/bin/mercury_compile \
MERCURY_CONFIG_DIR="$pkgdir"/usr/lib/mercury \
PARALLEL="$MAKEFLAGS" install
-}
+
+ rm "${pkgdir}"/usr/bin/{mdb,mercury,mprof}.bat
+} \ No newline at end of file