tomcharnock/void-packages
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

coq: remove an unnecessary make argument

Browse Source 
Signed-off-by: Sora Morimoto <sora@morimoto.io>
This commit is contained in:
Sora Morimoto
2020-11-19 13:23:12 +09:00
committed by Érico Nogueira Rolim
parent 67a91596e8
commit a559287923
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
srcpkgs/coq/template
View File

@@ -22,7 +22,7 @@ do_configure() {
} }
do_build() { do_build() {
make PR_O= make
} }
do_install() { do_install() {