Change make to $(MAKE) so it works more reliably on FreeBSD

and other platforms using non-GNU make systems.

original commit: 281a2b3ae12c13f15c14c2ba8968d40c28caacbf
This commit is contained in:
Alexander B. McLin 2019-06-17 17:32:47 +00:00 committed by Matthew Flatt
parent 6a56c06b1d
commit dcffbe1d8b

View File

@ -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