From dcffbe1d8b71efb50ab8d2693a86ceb949e1b91c Mon Sep 17 00:00:00 2001 From: "Alexander B. McLin" Date: Mon, 17 Jun 2019 17:32:47 +0000 Subject: [PATCH] Change `make` to `$(MAKE)` so it works more reliably on FreeBSD and other platforms using non-GNU make systems. original commit: 281a2b3ae12c13f15c14c2ba8968d40c28caacbf --- makefiles/Makefile.in | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/makefiles/Makefile.in b/makefiles/Makefile.in index 0308ef0492..e28cc4ee65 100644 --- a/makefiles/Makefile.in +++ b/makefiles/Makefile.in @@ -47,9 +47,9 @@ clean: (cd $(workarea) && $(MAKE) clean) distclean: - (cd csug && if [ -e Makefile ] ; then make reallyreallyclean ; fi) + (cd csug && if [ -e Makefile ] ; then $(MAKE) reallyreallyclean ; fi) rm -f csug/Makefile - (cd release_notes && if [ -e Makefile ] ; then make reallyreallyclean ; fi) + (cd release_notes && if [ -e Makefile ] ; then $(MAKE) reallyreallyclean ; fi) rm -f release_notes/Makefile rm -rf $(workarea) rm -f Makefile