Merge pull request #240951 from abathur/remove_oil_readline_workaround

oil: remove obsolete readline workaround
This commit is contained in:
Sandro 2023-07-06 23:18:43 +02:00 committed by GitHub
commit d13e88c0c6
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -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 = ''