From fd08eae933d723bedaa493ba67bbe75c2bef0aba Mon Sep 17 00:00:00 2001 From: Henry Weller Date: Thu, 16 Aug 2018 21:11:40 +0100 Subject: [PATCH] Replaced mplib with mplibDummy for consistency with the dummy Pstream --- src/Pstream/dummy/Make/options | 2 +- wmake/rules/General/{mplib => mplibDummy} | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename wmake/rules/General/{mplib => mplibDummy} (100%) diff --git a/src/Pstream/dummy/Make/options b/src/Pstream/dummy/Make/options index 4605fb014e..6392edc3e9 100644 --- a/src/Pstream/dummy/Make/options +++ b/src/Pstream/dummy/Make/options @@ -1,4 +1,4 @@ --include $(GENERAL_RULES)/mplib +-include $(GENERAL_RULES)/mplibDummy EXE_INC = $(PFLAGS) $(PINC) LIB_LIBS = $(PLIBS) diff --git a/wmake/rules/General/mplib b/wmake/rules/General/mplibDummy similarity index 100% rename from wmake/rules/General/mplib rename to wmake/rules/General/mplibDummy