Detect GCC 3.x versus 4.x and use -I- or -isystem, respectively, to
[pintos-anon] / src / misc /
drwxr-xr-x   ..
-rw-r--r-- 3810 bochs-2.1.1-bigendian.patch
-rw-r--r-- 143937 bochs-2.1.1-checkbochs.patch
-rw-r--r-- 2122 bochs-2.1.1-jitter.patch
-rw-r--r-- 2043 bochs-2.1.1-solaris.patch
-rw-r--r-- 1605 bochs-2.1.1-tty-stdout.patch
-rw-r--r-- 10811 bochs-2.1.1.patch
-rw-r--r-- 3487 bochs.README
-rw-r--r-- 11426 checkbochs.patch
-rw-r--r-- 2019 gcc-3.3.6.patch