From 980fd082d4c4f9e7c834476696c05079221a11bf Mon Sep 17 00:00:00 2001 From: Jakob Kaivo Date: Sat, 9 Feb 2019 16:36:37 -0500 Subject: fix .DEFAULT --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 028eba4a..2a18831f 100644 --- a/Makefile +++ b/Makefile @@ -1,5 +1,5 @@ .POSIX: -.DEFAULT: all +.DEFAULT:; $(MAKE) all .SILENT: all headers include include config.mk -- cgit v1.2.1