diff options
Diffstat (limited to 'pkgs/tools/security/paperkey/default.nix')
| -rw-r--r-- | pkgs/tools/security/paperkey/default.nix | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/pkgs/tools/security/paperkey/default.nix b/pkgs/tools/security/paperkey/default.nix index 1c235c9d8839..44cee21bc497 100644 --- a/pkgs/tools/security/paperkey/default.nix +++ b/pkgs/tools/security/paperkey/default.nix @@ -9,6 +9,13 @@ stdenv.mkDerivation rec { sha256 = "1prd2jaf4zjad3xhv160hmi5n408ssljfg7iz90jxs9w111pjwy4"; }; + postPatch = '' + for a in checks/*.sh ; do + substituteInPlace $a \ + --replace /bin/echo echo + done + ''; + enableParallelBuilding = true; meta = with stdenv.lib; { |