fix `server' target

This commit is contained in:
Matthew Flatt 2013-06-19 20:47:17 -06:00
parent fa6f56fcb1
commit f0135e9ab3

View File

@ -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