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 David Aspinall

Milestone: PG-Emacs-4.2PG-Emacs-4.3
Status: newaccepted
Note: See TracTickets for help on using tickets.