diff options
Diffstat (limited to 'pkgs/os-specific')
| -rw-r--r-- | pkgs/os-specific/linux/linuxptp/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/os-specific/linux/linuxptp/default.nix b/pkgs/os-specific/linux/linuxptp/default.nix index c02297002fd94..23f79e7f66536 100644 --- a/pkgs/os-specific/linux/linuxptp/default.nix +++ b/pkgs/os-specific/linux/linuxptp/default.nix @@ -15,7 +15,7 @@ stdenv.mkDerivation rec { outputs = [ "out" "man" ]; postPatch = '' - substituteInPlace incdefs.sh --replace \ + substituteInPlace incdefs.sh --replace-fail \ '/usr/include/linux/' "${linuxHeaders}/include/linux/" ''; |