runtime: use proper format for git commit.

whitequark · whitequark · commit c7844d5223c7 · 2016-11-17T15:20:21.000Z
Fixes #620.
diff --git a/artiq/runtime.rs/build.rs b/artiq/runtime.rs/build.rs
@@ -13,8 +13,10 @@ fn main() {
     let dest_path = Path::new(&out_dir).join("git_info.rs");
     let mut f = File::create(&dest_path).unwrap();
 
-    writeln!(f, "const GIT_COMMIT: &'static str = {:?};",
-                git_describe().unwrap()).unwrap();
+    let id = git_describe().unwrap();
+    let id = id.split("-").collect::<Vec<_>>();
+    let id = format!("{}+{}.{}", id[0], id[1], id[2]);
+    writeln!(f, "const GIT_COMMIT: &'static str = {:?};", id).unwrap();
 
     println!("cargo:rerun-if-changed=../../.git/HEAD");
     for entry in WalkDir::new("../../.git/refs") {
