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