2013-08-19 | Wolfram Schneider | add a 'check' target for jenkins | blob | commitdiff |
2013-08-19 | Wolfram Schneider | add 'clean' and 'all' target | blob | commitdiff | diff to current |
2013-08-19 | Wolfram Schneider | add help target | blob | commitdiff | diff to current |
2013-07-09 | Mike Taylor | Fix path for sub-Make | blob | commitdiff | diff to current |
2013-07-05 | Mike Taylor | New top-level Makefile, simply delegates down to experi... | blob | commitdiff | diff to current |