correctly fails if emacs needed and missing
Fixes #528. * configure.ac: Define EMACS using tools/missing. * NEWS: Mention the bug.
This commit is contained in:
parent
039cd756d5
commit
0c34152a33
2 changed files with 4 additions and 1 deletions
3
NEWS
3
NEWS
|
|
@ -22,6 +22,9 @@ New in spot 2.11.4.dev (not yet released)
|
|||
- Fix spurious failure of ltlsynt2.test when Python is not installed
|
||||
(issue #530).
|
||||
|
||||
- Building from the git repository would fail to report a missing
|
||||
emacs (issue #528).
|
||||
|
||||
New in spot 2.11.4 (2023-02-10)
|
||||
|
||||
Python:
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue