criterion: remove redundant checkTarget

"test" is the default value used by the Ninja setup hook.
2023-01-31 12:04:11 +00:00
parent 66bb8338fc
commit 47bbbb2a62
1 changed files with 0 additions and 1 deletions
@@ -30,7 +30,6 @@ stdenv.mkDerivation rec {
  nativeCheckInputs = with python3Packages; [ cram ];

  doCheck = true;
-  checkTarget = "test";

  postPatch = ''
    patchShebangs ci/isdir.py src/protocol/gen-pb.py