From 3aa0f17b55594e6eee342cc05009a2dcd9c3ef74 Mon Sep 17 00:00:00 2001
From: Shivam Mathur <shivam_jpr@hotmail.com>
Date: Thu, 23 Jul 2020 06:20:16 +0530
Subject: [PATCH] Remove obsolete pcov.sh

---
 src/scripts/ext/pcov.sh | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100644 src/scripts/ext/pcov.sh

diff --git a/src/scripts/ext/pcov.sh b/src/scripts/ext/pcov.sh
deleted file mode 100644
index 0837f5b3..00000000
--- a/src/scripts/ext/pcov.sh
+++ /dev/null
@@ -1,5 +0,0 @@
-cd ~ && git clone --depth=1 https://github.com/krakjoe/pcov.git
-cd pcov && phpize
-./configure --enable-pcov
-make
-sudo make install
\ No newline at end of file