diff options
author | Travis A. Everett <travis.a.everett@gmail.com> | 2023-07-01 12:07:40 -0500 |
---|---|---|
committer | Travis A. Everett <travis.a.everett@gmail.com> | 2023-07-01 12:25:49 -0500 |
commit | 1fe03311b054c744603a428c585fc90771ed5b33 (patch) | |
tree | 1b031fd9756e510df8621fe45facd3747935f804 /pkgs/shells/oil | |
parent | 271adaedcba2789e46198acd82ff13b24cdd1c90 (diff) |
oil: remove obsolete readline workaround
Looks like upstream issue was fixed via oilshell/oil#1514 (originally reported in oilshell/oil#1467).
Diffstat (limited to 'pkgs/shells/oil')
-rw-r--r-- | pkgs/shells/oil/default.nix | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/pkgs/shells/oil/default.nix b/pkgs/shells/oil/default.nix index 4131ac424d795..ebe292d85092f 100644 --- a/pkgs/shells/oil/default.nix +++ b/pkgs/shells/oil/default.nix @@ -16,9 +16,6 @@ stdenv.mkDerivation rec { postPatch = '' patchShebangs build - # TODO: workaround for https://github.com/oilshell/oil/issues/1467 - # check for removability on updates :) - substituteInPlace configure --replace "echo '#define HAVE_READLINE 1'" "echo '#define HAVE_READLINE 1' && return 0" ''; preInstall = '' |