diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2018-01-18T15·37+0100 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2018-01-18T15·38+0100 |
commit | 0c95776c3efdc63c4b957823d4e51d851a64ed84 (patch) | |
tree | cb06e2336002f760ce0bba427f1c859e7a6ec4e6 /configure.ac | |
parent | 5647e55f65a69bfb4a44fb2dfb6d7fd870b4dd38 (diff) |
Don't define builtins.{currentSystem,currentTime} in pure mode
This makes it easier to provide a default, e.g. system = builtins.currentSystem or "x86_64-linux";
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions