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