summarylogtreecommitdiffstats
AgeCommit message (Collapse)Author
2021-01-24Update for recent versions (from tfl5034)Pierre-Marie de Rodat
* Add gprconfig_kb sources from git and pass them to the `bootstrap.sh` script with `--with-kb=`. * Update the sed scripts to reflect change of locations of XML files. * Remove sed script to modify `bootstrap.sh` because the shebang was changed upstream to `#!/bin/bash`
2020-06-13Patch bootstrap.sh shebangXiretza
2017-12-13Add Earnestly as a contributorPierre-Marie de Rodat
2017-06-19Provide gprbuild-bootstrap instead of gprbuildPierre-Marie de Rodat
2017-06-18Initial commitPierre-Marie de Rodat