2007-08-07 | Make use of setsid to spawn removal processes: we don't want the rm's to stop if the main script fails and ends before all directories were removed. | file | diff | annotate |
2007-08-07 | Revert previous spurious commit. | file | diff | annotate |
2007-08-07 | Fix the Makefile.in to correctly remove generated documentation. | file | diff | annotate |
2007-07-14 | Sanitise populate a little bit. | file | diff | annotate |
2007-07-14 | Re-order help entries in populate. | file | diff | annotate |
2007-07-14 | Upgrade populate.in: | file | diff | annotate |
2007-07-08 | Add a utility to populate a root directory with libraries from the toolchain. | file | diff | annotate |