Skip to content

Commit

Permalink
Added -j option to make prepare
Browse files Browse the repository at this point in the history
  • Loading branch information
BugUser0815 authored Oct 12, 2016
1 parent b5a710c commit c3981ea
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -26,10 +26,10 @@ toolchain:
ports: foc libports

foc:
$(MAKE) -C repos/base-foc prepare
$(MAKE) -j -C repos/base-foc prepare

libports:
$(MAKE) -C repos/libports prepare
$(MAKE) -j -C repos/libports prepare
#
# ================================================================

Expand All @@ -44,7 +44,7 @@ genode_build_dir:
printf 'REPOSITORIES += $$(GENODE_DIR)/repos/taskmanager\n' >> $(BUILD_CONF)

taskmanager:
$(MAKE) -j10 -C $(GENODE_BUILD_DIR) taskmanager
$(MAKE) -j -C $(GENODE_BUILD_DIR) taskmanager

# Delete build directory for all target systems. In some cases, subfolders in the contrib directory might be corrupted. Remove manually and re-prepare if necessary.
clean:
Expand All @@ -56,7 +56,7 @@ clean:
# ================================================================
# Run Genode with an active dom0 server.
run:
$(MAKE) -j10 -C $(GENODE_BUILD_DIR) run/taskmanager
$(MAKE) -j -C $(GENODE_BUILD_DIR) run/taskmanager
#
# ================================================================

Expand Down

0 comments on commit c3981ea

Please sign in to comment.