From: Stephan Renatus <srenatus@chef.io>
Date: Mon, 13 Apr 2020 13:50:31 +0000 (+0200)
Subject: main: fix version reporting without git
X-Git-Tag: v0.8.123~169^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=9e907e36e2dc6183908c258da55f0adcf2c5406f;p=scryer-prolog.git

main: fix version reporting without git

Fixes #339.

At least I hope so. I didn't come up with an idea how to test this with
little effort.

Signed-off-by: Stephan Renatus <srenatus@chef.io>
---

diff --git a/src/main.rs b/src/main.rs
index a9b0546d..ca9ba05d 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -36,7 +36,7 @@ fn main() {
     unsafe { signal::signal(signal::Signal::SIGINT, handler) }.unwrap();
 
     if env::args().skip(1).any(|a| a == "-v" || a == "--version") {
-        println!("{:}", git_version!());
+        println!("{:}", git_version!(cargo_prefix = "cargo:", fallback = "unknown"));
         return;
     }