[rust tools] Get the tools version from autoconf

2020-06-09 10:23:52 +01:00
parent 61de3f9287
commit db5a71a53c
6 changed files with 7 additions and 2 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -57,6 +57,7 @@ autom4te.cache/
 *.rej

 version.h
+src/version.rs
 config.cache
 config.log
 config.status