From f0135e9ab30aeecb54adb5c3353196dd25317b28 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Wed, 19 Jun 2013 20:47:17 -0600
Subject: [PATCH] fix `server' target

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 29042f0749..07f8995d6d 100644
--- a/Makefile
+++ b/Makefile
@@ -134,7 +134,7 @@ server-from-core:
 
 # Boostrap mode: make packages from local directories:
 build-from-local:
-	$(MAKE) native-and-local-catalog
+	$(MAKE) local-catalog
 	$(MAKE) local-build
 	$(MAKE) packages-from-local