Skip to content

Commit

Permalink
Add global makefile
Browse files Browse the repository at this point in the history
  • Loading branch information
@cpl
cpl committed Sep 21, 2018
1 parent 106be53 commit 1c0dddb
Showing 1 changed file with 10 additions and 0 deletions.
10 changes: 10 additions & 0 deletions makefile
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,10 @@
.PHONY: kernel clean deploy

kernel:
cd kernel && $(MAKE)

clean:
cd kernel && $(MAKE) clean

deploy:
cd kernel && $(MAKE) deploy

0 comments on commit 1c0dddb

Please sign in to comment.