projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4fd3020) | 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)
commit589800ce938079195b25db195ec07dd638f233e6
tree904362697c74eb9c80d5d63e645059a44e09527ctree | snapshot
parent4fd30209c23a6b4fc26e23a1728a3523168762cccommit | 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