diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-11-13T10·08+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-11-13T10·08+0000 |
commit | 3392d32e8b4202da8d3b013edd6f585e98aa7b02 (patch) | |
tree | 12dcf1cc9e5353aa03335b7f4102e853d9f2d483 /src/boost | |
parent | 327a232c85de3faa56f9a6117c86e1aa22f88bd6 (diff) |
* In nix-pull/nix-channel, create the manifests directory if it
doesn't exist. The Debian packages don't include the manifests directory, so nix-channel would silently skip doing a nix-pull, resulting in everything being built from source. Thanks to Juan Pedro Bolívar Puente.
Diffstat (limited to 'src/boost')
0 files changed, 0 insertions, 0 deletions