benfry bab2406e83 fix up dist script for 0140 (removing jikes, etc)

2008-06-10 19:20:23 +00:00

..

dist

moving things around for javac-based linux build (and cleaning up from

2008-06-10 12:48:33 +00:00

dist.sh

fix up dist script for 0140 (removing jikes, etc)

2008-06-10 19:20:23 +00:00

make.sh

fixes to linux build script for x86_64 (disable dist) and re-enable

2008-06-10 18:44:31 +00:00

run.sh

something odd happened with run.sh

2007-06-24 17:54:14 +00:00