summaryrefslogtreecommitdiff
path: root/tools
AgeCommit message (Collapse)Author
2017-10-30 Make all-pic a user optionLaurent Bercot
2017-10-29 Support default pieLaurent Bercot
2016-10-24 Revert wrong shared lib fixLaurent Bercot
2016-10-24Fix stupid shared lib dependenciesLaurent Bercot
2015-10-12 Push back GNU make dependency to 3.81Laurent Bercot
2015-08-12 Intermediary commit; working on source dir format change. Should work, but ↵Laurent Bercot
untested as for now.
2015-06-04 Initial commitLaurent Bercot