diff options
author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2014-02-26T14·21+0100 |
---|---|---|
committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2014-02-26T14·21+0100 |
commit | f14ef84a51e211b3924f59333d98d838ab500740 (patch) | |
tree | 92499d194fcaaac9638ed77ddc610f362cd2285d /.gitignore | |
parent | 733214144a7a910001c1c82683db780853bac9b1 (diff) |
Warn about missing -I paths
Fixes #121. Note that we don't warn about missing $NIX_PATH entries because it's intended that some may be missing (cf. the default $NIX_PATH on NixOS, which includes paths like /etc/nixos/nixpkgs for backward compatibility).
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions