projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 004ff5e) | patch
Check for the compiler's availability early in the `make' run, in
authorBen Pfaff <blp@cs.stanford.edu>
Tue, 20 Dec 2005 06:27:07 +0000 (06:27 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Tue, 20 Dec 2005 06:27:07 +0000 (06:27 +0000)
commit22acef028a140604f5b34705263ba70959fcf4f4
treee400139ae506c6dc839feb8a14c6ee1df7e9d027tree | snapshot
parent004ff5e0bbf4acef2be3f1db66c00790fee21246commit | diff
Check for the compiler's availability early in the `make' run, in
Make.config, and give a warning that points to the documentation if we
can't find it.
Also, modify other Makefiles so that Make.config is only included
once, so that the message is only printed once.
src/Make.config diff | blob | history
src/Makefile.userprog diff | blob | history
src/examples/Makefile diff | blob | history
Pintos public repository