diff --git a/mps/Makefile.in b/mps/Makefile.in
index 17191e574ea..87e9111a61c 100644
--- a/mps/Makefile.in
+++ b/mps/Makefile.in
@@ -15,9 +15,8 @@ INSTALL_PROGRAM=@INSTALL_PROGRAM@
 MAKE=@MAKE@
 MPS_TARGET_NAME=@MPS_TARGET_NAME@
 EXTRA_TARGETS=@EXTRA_TARGETS@
-export EXTRA_TARGETS
 prefix=$(DESTDIR)@prefix@
-MAKE_FOR_TARGET=$(MAKE) -C code -f $(MPS_TARGET_NAME).gmk
+MAKE_FOR_TARGET=$(MAKE) -C code -f $(MPS_TARGET_NAME).gmk EXTRA_TARGETS="$(EXTRA_TARGETS)"
 XCODEBUILD=xcodebuild -project code/mps.xcodeproj
 
 all: @BUILD_TARGET@