tests.coq.overrideCoqDerivation: use runCommand instead of runCommandNoCC
This commit is contained in:
parent
7efd4aa67c
commit
49e6d1b813
@ -1,4 +1,4 @@
|
|||||||
{ lib, coq, mkCoqPackages, runCommandNoCC }:
|
{ lib, coq, mkCoqPackages, runCommand }:
|
||||||
|
|
||||||
let
|
let
|
||||||
|
|
||||||
@ -24,7 +24,7 @@ let
|
|||||||
coqPackages.QuickChick;
|
coqPackages.QuickChick;
|
||||||
in
|
in
|
||||||
|
|
||||||
runCommandNoCC
|
runCommand
|
||||||
"coq-overrideCoqDerivation-test-0.1"
|
"coq-overrideCoqDerivation-test-0.1"
|
||||||
{ meta.maintainers = with lib.maintainers; [cdepillabout]; }
|
{ meta.maintainers = with lib.maintainers; [cdepillabout]; }
|
||||||
''
|
''
|
||||||
|
Loading…
Reference in New Issue
Block a user