024f78deeb
* PPL: make could run autoconf in certain conditions, thus generating artefacts in the source tree. Added --disable-maintainer-mode when launching configure to avoid this situation. * cleanup: there are no info files in CLooG and PPL. |
||
---|---|---|
.. | ||
config_headers | ||
jam | ||
scripts |