Fix the build problem reported by Johnny.
[cegcc.git] / cegcc / 
tree52d8ca62d1632780e8df73a5c88113229cd31d35
drwxr-xr-x   ..
-rw-r--r-- 87 NEWS
-rw-r--r-- 767 README
drwxr-xr-x - docs
drwxr-xr-x - scripts
drwxr-xr-x - src
-rw-r--r-- 3230 svn-config.txt
drwxr-xr-x - test
drwxr-xr-x - tools
drwxr-xr-x - website