projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c00124d) | patch
Detect x86 systems, use the native tools.
authorBen Pfaff <blp@cs.stanford.edu>
Tue, 14 Sep 2004 20:09:50 +0000 (20:09 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Tue, 14 Sep 2004 20:09:50 +0000 (20:09 +0000)
commit42e7f1ddc188d0066176001c0f1df957d8e6eb9e
tree21ab2b1064d00df4f5adc28d6c62bfadf05bc288tree | snapshot
parentc00124df280431bb3f1fd26ef0f5c863365c6474commit | diff
Detect x86 systems, use the native tools.
src/Makefile.build diff | blob | history
Pintos public repository