diff options
author | Luca Bruno <lucabru@src.gnome.org> | 2014-11-10 10:03:52 +0100 |
---|---|---|
committer | Luca Bruno <lucabru@src.gnome.org> | 2014-11-10 10:03:52 +0100 |
commit | 6af0d6974fbbf60c9e43d5bd563e4df0570a61b2 (patch) | |
tree | 62b8785527061f9b872682c6746d9017aea8e448 /pkgs/development/tools/ocaml | |
parent | 4030ab3ba4988cc96d22f6bf6963cf3727aa2e41 (diff) | |
parent | 9e3137ddf069218f875b385eef27d00d7c0597e1 (diff) |
Merge branch 'master' into staging
Diffstat (limited to 'pkgs/development/tools/ocaml')
-rw-r--r-- | pkgs/development/tools/ocaml/camlp4/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/tools/ocaml/camlp4/default.nix b/pkgs/development/tools/ocaml/camlp4/default.nix index bd2466c8854aa..a8043a9fc5ee5 100644 --- a/pkgs/development/tools/ocaml/camlp4/default.nix +++ b/pkgs/development/tools/ocaml/camlp4/default.nix @@ -34,7 +34,7 @@ stdenv.mkDerivation { ''; - makePhase = "make all"; + makeFlags = "all"; installTargets = "install install-META"; |