diff --git a/Makefile b/Makefile index 789443fe902e..7a34d8836097 100644 --- a/Makefile +++ b/Makefile @@ -1,3 +1,5 @@ +all: + -include Makefile.local # for optional local options e.g. threads # Recipes for this Makefile diff --git a/Makefile.win b/Makefile.win index 6496eb009fcb..5c8c39fe215e 100644 --- a/Makefile.win +++ b/Makefile.win @@ -1,3 +1,5 @@ +all: + -include Makefile.win.local # for optional local options e.g. threads # Recipes for this Makefile