From b675df4b41a3f48d486812e1aedd2dac76a65765 Mon Sep 17 00:00:00 2001
From: Marc Espie <espie@cvs.openbsd.org>
Date: Tue, 30 May 2023 04:42:22 +0000
Subject: Due to the way make is designed, not being able to read a makefile is
 basically silent.

Record errors due to missing permissions and other oddities, and display them
when we error out due to lack of targets, as a quality-of-life diagnostic.

Based on a remark from sthen@, with some feedback and tweaks from op@

okay op@, kn@
---
 usr.bin/make/main.h | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'usr.bin/make/main.h')

diff --git a/usr.bin/make/main.h b/usr.bin/make/main.h
index 035de86e602..4106c60daf7 100644
--- a/usr.bin/make/main.h
+++ b/usr.bin/make/main.h
@@ -1,6 +1,6 @@
 #ifndef MAIN_H
 #define MAIN_H
-/*	$OpenBSD: main.h,v 1.6 2020/01/13 14:51:50 espie Exp $ */
+/*	$OpenBSD: main.h,v 1.7 2023/05/30 04:42:21 espie Exp $ */
 
 /*
  * Copyright (c) 2001 Marc Espie.
@@ -41,4 +41,8 @@ extern Lst	create;
 /* set_notparallel(): used to influence running mode from parse.c */
 extern void set_notparallel(void);
 
+/* dump_unreadable: in case of some errors, dump makefile names
+ * we found but are unable to read.
+ */
+extern void dump_unreadable(void);
 #endif
-- 
cgit v1.2.3