pintos-os.org Git - pintos-anon/commit

projects / pintos-anon / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: e8986e1) | patch

author	Ben Pfaff <blp@cs.stanford.edu>
	Tue, 19 Jul 2005 03:42:55 +0000 (03:42 +0000)
committer	Ben Pfaff <blp@cs.stanford.edu>
	Tue, 19 Jul 2005 03:42:55 +0000 (03:42 +0000)
commit	c146dcf5f0ee9bcb1b44bfecacb919c0fa179e15
tree	0445223d04b2b7e167161edfdb13f9398b05d079	tree \| snapshot
parent	e8986e1729370576db361326023de72df746f848	commit \| diff

Detect GCC 3.x versus 4.x and use -I- or -isystem, respectively, to
avoid ugly warnings on 4.x with -I-.

src/Make.config		diff \| blob \| history
src/Makefile.build		diff \| blob \| history
src/Makefile.userprog		diff \| blob \| history

Pintos public repository