aboutsummaryrefslogtreecommitdiff
path: root/build.rs
diff options
context:
space:
mode:
authorhcpl <hcpl@users.noreply.github.com>2017-11-12 03:17:47 +0200
committerJoe Wilm <jwilm@users.noreply.github.com>2017-11-11 17:17:47 -0800
commit8a09917dd1b51fee7a4f55fb79ff133822754304 (patch)
tree6229f5242ad35420e9242a09c27822840a8a923a /build.rs
parentc5b689784ec0e039b092a6774e4a9496d8dc95b5 (diff)
downloadalacritty-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.rs3
1 files changed, 3 insertions, 0 deletions
diff --git a/build.rs b/build.rs
index 0bdea324..da0c6130 100644
--- a/build.rs
+++ b/build.rs
@@ -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();
}