diff options
| author | hcpl <hcpl@users.noreply.github.com> | 2017-11-12 03:17:47 +0200 |
|---|---|---|
| committer | Joe Wilm <jwilm@users.noreply.github.com> | 2017-11-11 17:17:47 -0800 |
| commit | 8a09917dd1b51fee7a4f55fb79ff133822754304 (patch) | |
| tree | 6229f5242ad35420e9242a09c27822840a8a923a /src/lib.rs | |
| parent | c5b689784ec0e039b092a6774e4a9496d8dc95b5 (diff) | |
| download | alacritty-8a09917dd1b51fee7a4f55fb79ff133822754304.tar.gz alacritty-8a09917dd1b51fee7a4f55fb79ff133822754304.zip | |
Output more info for `--version` (#888)
Useful when requesting more info to help investigating issues.
Diffstat (limited to 'src/lib.rs')
| -rw-r--r-- | src/lib.rs | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -108,3 +108,8 @@ pub mod gl { #![allow(non_upper_case_globals)] include!(concat!(env!("OUT_DIR"), "/gl_bindings.rs")); } + +#[allow(dead_code)] +mod built_info { + include!(concat!(env!("OUT_DIR"), "/built.rs")); +} |