diff options
author | Robin Gloster <mail@glob.in> | 2016-02-12 14:10:31 +0000 |
---|---|---|
committer | Robin Gloster <mail@glob.in> | 2016-02-12 14:10:31 +0000 |
commit | 295602945ea4e0d1ea3a48ce60ebb044cfa2a8ca (patch) | |
tree | 225183c8651304b5024cee291697c0aa71084c6a /pkgs/games/pioneers/default.nix | |
parent | e5fa454ad3498db09418e5fe030e53b83efa493f (diff) |
pioneers: turn off format hardening
Diffstat (limited to 'pkgs/games/pioneers/default.nix')
-rw-r--r-- | pkgs/games/pioneers/default.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/games/pioneers/default.nix b/pkgs/games/pioneers/default.nix index af9900cede536..41780dd64f6d5 100644 --- a/pkgs/games/pioneers/default.nix +++ b/pkgs/games/pioneers/default.nix @@ -9,6 +9,8 @@ stdenv.mkDerivation rec { buildInputs = [ gtk pkgconfig intltool ]; + hardening_format = false; + meta = { homepage = http://pio.sourceforge.net/; license = stdenv.lib.licenses.gpl2Plus; |