diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2012-10-27 22:30:42 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2012-10-27 22:30:42 +0200 |
| commit | a9f60c421bc6e4ad622d46102617fef9d3a290c6 (patch) | |
| tree | 4a11b3fd663a540e49640a38695006cb5f4de559 /.gitignore | |
| parent | cc9abfd0f451652be4d08874a8f5b25f026fd44e (diff) | |
| download | patches-a9f60c421bc6e4ad622d46102617fef9d3a290c6.tar patches-a9f60c421bc6e4ad622d46102617fef9d3a290c6.tar.gz | |
distro: Change $DISTRO_{PATCH,BOOTSTRAP}_DIRECTORY to search paths.
* distro.scm (not-colon): New variable.
(%patch-directory): Rename to...
(%patch-path): ... this. Turn into a list. Expect $DISTRO_PATCH_PATH
to be a colon-separated search path.
(%bootstrap-binaries-directory): Rename to...
(%bootstrap-binaries-path): ... this. Likewise.
(search-patch, search-bootstrap-binary): Adjust accordingly.
* pre-inst-env.in: Change to use `DISTRO_PATCH_PATH' and
`DISTRO_BOOTSTRAP_PATH'.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions