diff Makefile.in @ 26237:94242d48aab1

(POP_FAILURE_POINT): Use failure_id.integer as arg to DEBUG_POP and DEBUG_PRINT.
author Gerd Moellmann <gerd@gnu.org>
date Thu, 28 Oct 1999 21:16:22 +0000
parents 29159179b7fe
children b81a30ac8e52
line wrap: on
line diff