From a55928792386c074fdd41de3d4e82de5fa198c3a Mon Sep 17 00:00:00 2001
From: Sora Morimoto <sora@morimoto.io>
Date: Thu, 19 Nov 2020 13:23:12 +0900
Subject: [PATCH] coq: remove an unnecessary make argument

Signed-off-by: Sora Morimoto <sora@morimoto.io>
---
 srcpkgs/coq/template | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/srcpkgs/coq/template b/srcpkgs/coq/template
index 01a7829b50..469975f511 100644
--- a/srcpkgs/coq/template
+++ b/srcpkgs/coq/template
@@ -22,7 +22,7 @@ do_configure() {
 }
 
 do_build() {
-	make PR_O=
+	make
 }
 
 do_install() {