diff options
| author | klaar36 <klas.arvidsson@liu.se> | 2016-05-03 21:00:24 +0200 |
|---|---|---|
| committer | klaar36 <klas.arvidsson@liu.se> | 2016-05-03 21:00:24 +0200 |
| commit | e3afa4964ece6804b38224e529922ce8c442b8f4 (patch) | |
| tree | 9e91c0b3cd7cea9840260a338b71734058c6943a /src | |
| parent | 5fec8c0cea7a42b7e07b07db61caa05003cd0687 (diff) | |
| download | pintos-rs-e3afa4964ece6804b38224e529922ce8c442b8f4.tar.gz | |
rule to build examples from userprog
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile.kernel | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/Makefile.kernel b/src/Makefile.kernel index cf5c58a..95e9c89 100644 --- a/src/Makefile.kernel +++ b/src/Makefile.kernel @@ -16,5 +16,8 @@ build/Makefile: ../Makefile.build build/%: $(DIRS) build/Makefile cd build && $(MAKE) $* +examples: + make -C ../examples + clean: rm -rf build |