Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
make clean now uses the -f option to rm, so there's no error if the
files aren't there to clean up in the first place. Also, the JVM is invoked with green threads and no JIT, so it won't segfault. Speed ain't important with ANTLR...
- Loading branch information