On Mon, Dec 09 2019, "Marco d'Itri" <[email protected]> wrote:
> Without this patch distclean may leave around some *.old files generated 
> by configure.

The portable build system is not used or maintained within the OpenBSD
source tree*.  You'll be better off reporting this to Kristaps at

  https://github.com/kristapsdz/rpki-client/

* 
https://cvsweb.openbsd.org/cgi-bin/cvsweb/~checkout~/src/usr.sbin/rpki-client/Makefile?rev=1.14&content-type=text/plain

> --- a/Makefile
> +++ b/Makefile
> @@ -73,7 +73,7 @@ clean:
>       rm -f $(BINS) $(ALLOBJS) rpki-client.install.8
>  
>  distclean: clean
> -     rm -f config.h config.log Makefile.configure
> +     rm -f config.h config.log config.h.old config.log.old Makefile.configure
>  
>  $(ALLOBJS): extern.h config.h

-- 
jca | PGP : 0x1524E7EE / 5135 92C1 AD36 5293 2BDF  DDCC 0DFA 74AE 1524 E7EE

Reply via email to