diff options
author | Robin Gloster <mail@glob.in> | 2016-02-09 10:59:09 +0000 |
---|---|---|
committer | Robin Gloster <mail@glob.in> | 2016-02-09 10:59:09 +0000 |
commit | a29786ebf6fed781ce84a1bfef0ddea1911e0572 (patch) | |
tree | 9690ba32e7895b1ed6f1cf85043d7df5a3f2db13 | |
parent | e264f1077bddb05aaa3c86625db6b9a014074996 (diff) |
boost-build: turn off format hardening
-rw-r--r-- | pkgs/development/tools/boost-build/default.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/development/tools/boost-build/default.nix b/pkgs/development/tools/boost-build/default.nix index 723219336bb9..aa590543e00e 100644 --- a/pkgs/development/tools/boost-build/default.nix +++ b/pkgs/development/tools/boost-build/default.nix @@ -8,6 +8,8 @@ stdenv.mkDerivation rec { sha256 = "10sbbkx2752r4i1yshyp47nw29lyi1p34sy6hj7ivvnddiliayca"; }; + hardening_format = false; + patchPhase = '' grep -r '/usr/share/boost-build' \ | awk '{split($0,a,":"); print a[1];}' \ |