| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2017-11-28 | Replace most call to grep in run-make by a script that cat the input. | kennytm | -2/+2 |
| 2016-07-25 | add include ../tools.mk to the Makefile | Jorge Aparicio | -0/+2 |
| 2016-05-02 | fix built-in target detection | Jorge Aparicio | -0/+14 |
