diff options
Diffstat (limited to 'pkgs/applications/science/logic/prover9')
-rw-r--r-- | pkgs/applications/science/logic/prover9/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/prover9/default.nix b/pkgs/applications/science/logic/prover9/default.nix index 129abef0b3d7..7ac3831f6a56 100644 --- a/pkgs/applications/science/logic/prover9/default.nix +++ b/pkgs/applications/science/logic/prover9/default.nix @@ -24,7 +24,7 @@ stdenv.mkDerivation { buildFlags = "all"; installPhase = '' - ensureDir $out/bin + mkdir -p $out/bin cp bin/* $out/bin ''; |