view msdos/sed6.inp @ 32826:233d9eb5dff0

(directory_files_internal_unwind): New function. (directory_files_internal): Use it to ensure closedir is called even if expand-file-name or file-attributes throw, eg. because of a user interrupt. Also enable immediate_quit while calling re_search, so that matching can be interrupted as well.
author Andrew Innes <andrewi@gnu.org>
date Tue, 24 Oct 2000 14:45:19 +0000
parents b77f0b29fdb9
children a4fb0c9be609
line wrap: on
line source

# -sed6.inp-----------------------------------------------------------
# Configuration script for man/Makefile under DJGPP v2.x
# ----------------------------------------------------------------------
/^srcdir *=/s/@[^@\n]*@/./
/^VPATH *=/s/@[^@\n]*@/./
/^ENVADD/c\
ENVADD =\
export TEXINPUTS := $(srcdir)";"$(TEXINPUTS)\
export MAKEINFO := $(MAKEINFO) -I$(srcdir)