diff options
| author | June McEnroe <june@causal.agency> | 2020-12-22 19:26:16 -0500 |
|---|---|---|
| committer | June McEnroe <june@causal.agency> | 2020-12-22 19:28:22 -0500 |
| commit | 34abc0aa8f05539164b6f3f27f4cd9fdf66e636b (patch) | |
| tree | 9d2f8c695a9f5430393dd52d2cfac00e7b793796 /home/.bash_profile | |
| parent | Merge commit '71c7cbab2b50436db940721a10d6ea1ca5d75f89' as 'bin/dash' (diff) | |
| download | src-34abc0aa8f05539164b6f3f27f4cd9fdf66e636b.tar.gz src-34abc0aa8f05539164b6f3f27f4cd9fdf66e636b.zip | |
Fail if building --with-libedit and can't find libedit
Previously, configure --with-libedit would only fail in the case where libedit is available but its header file histedit.h is not.
Diffstat (limited to 'home/.bash_profile')
0 files changed, 0 insertions, 0 deletions