diff options
author | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-11-09 16:39:12 +1100 |
---|---|---|
committer | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-11-09 16:39:12 +1100 |
commit | 9710d8c7a3307fd9477fb426ea1bab7804c6ef37 (patch) | |
tree | b6e1462e3d3b0ed414edafc2242e01822ceb22cd /.gitignore | |
parent | b19bd8d8a41664328f33c9b459b2b0100f0b303f (diff) |
A bunch of changes to make it build nicer
In particular:
- fix up the MCF sovler to get rid of all the warnings/errors
- make the build with Wall and Werror and whatnot again
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1,3 +1,4 @@ /impl/build/* /impl/parser/* gmon.out +*.o |