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 /build.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 'build.rs')
-rw-r--r-- | build.rs | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -11,6 +11,7 @@ // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. // See the License for the specific language governing permissions and // limitations under the License. +extern crate built; extern crate gl_generator; use gl_generator::{Registry, Api, Profile, Fallbacks, GlobalGenerator}; @@ -27,4 +28,6 @@ fn main() { ]) .write_bindings(GlobalGenerator, &mut file) .unwrap(); + + built::write_built_file().unwrap(); } |