Opened 12 years ago
Last modified 12 years ago
#448 accepted defect
Repair autotest load sequence so works in compiled and interpreted code
Reported by: | David Aspinall | Owned by: | David Aspinall |
---|---|---|---|
Priority: | major | Milestone: | PG-Emacs-4.3 |
Component: | 2:pg-emacs | Keywords: | |
Cc: |
Description
Test, both this:
make; make test.coq
and this:
make clean; make test.coq
should run the autotest for coq identically.
Change History (1)
comment:1 Changed 12 years ago by
Milestone: | PG-Emacs-4.2 → PG-Emacs-4.3 |
---|---|
Status: | new → accepted |
Note: See
TracTickets for help on using
tickets.