mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-11 07:04:28 +00:00
Code Issues Wiki Activity

Merge pull request #129008 from KoviRobi/fix-noweb-awk

Browse source 
noweb: fix nawk binary name
This commit is contained in:
Jörg Thalheim 2021-07-03 13:45:25 +01:00 committed by GitHub
parent e4b42812e9 adc5cb1f8a
commit a36393c216
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
pkgs/development/tools/literate-programming/noweb/default.nix
View file

@ -57,7 +57,7 @@ lib.fix (noweb: stdenv.mkDerivation rec {
# NOTE: substituteInPlace breaks Icon binaries, so make sure the script
# uses (n)awk before calling.
if grep -q nawk "$f"; then
substituteInPlace "$f" --replace "nawk" "${nawk}/bin/awk"
substituteInPlace "$f" --replace "nawk" "${nawk}/bin/nawk"
fi
done