diff update-subdirs @ 86810:bf4a9f989c37

(check-declare-locate, check-declare-verify): Handle `external' files. (check-declare-errmsg): New function. (check-declare-verify, check-declare-file, check-declare-directory): Use check-declare-errmsg to report the number of problems.
author Glenn Morris <rgm@gnu.org>
date Thu, 29 Nov 2007 04:23:49 +0000
parents aa0de1ea4215
children 107ccd98fa12 53108e6cea98
line wrap: on
line diff