diff options
author | sternenseemann <sternenseemann@systemli.org> | 2021-09-19 19:52:50 +0200 |
---|---|---|
committer | sternenseemann <sternenseemann@systemli.org> | 2021-09-23 20:55:22 +0200 |
commit | a0a2b5f7885bdd804fd042ccdd29d989aa739e95 (patch) | |
tree | 6a559d051f45d64098f0cdb4496f54805ff64acd /pkgs/tools/misc/mandoc | |
parent | 71fae710cc97396308d039d30ac859c220548eff (diff) |
mandoc: use printf instead of echo for writing configure.local
This should be a bit more robust and portable.
Diffstat (limited to 'pkgs/tools/misc/mandoc')
-rw-r--r-- | pkgs/tools/misc/mandoc/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/tools/misc/mandoc/default.nix b/pkgs/tools/misc/mandoc/default.nix index 814cdeb43fd72..948db6ca91897 100644 --- a/pkgs/tools/misc/mandoc/default.nix +++ b/pkgs/tools/misc/mandoc/default.nix @@ -21,7 +21,7 @@ stdenv.mkDerivation rec { ''; preConfigure = '' - echo $configureLocal > configure.local + printf '%s' "$configureLocal" > configure.local ''; meta = with lib; { |