From: Stephan Renatus <srenatus@chef.io>
Date: Sat, 28 Mar 2020 08:07:42 +0000 (+0100)
Subject: main: skip args[0]
X-Git-Tag: v0.8.119~25^2^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=45d4f460241435df10fd5c4db512b3c261019a34;p=scryer-prolog.git

main: skip args[0]

This is a bit pedantic, it's unlikely that the executable would be
called `-v` or `--version`. However, it seems slightly more correct to
disregard argv[0] when checking flags.
Signed-off-by: Stephan Renatus <srenatus@chef.io>
---

diff --git a/src/main.rs b/src/main.rs
index e0801a44..a9b0546d 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -35,7 +35,7 @@ fn main() {
     let handler = signal::SigHandler::Handler(handle_sigint);
     unsafe { signal::signal(signal::Signal::SIGINT, handler) }.unwrap();
 
-    if env::args().any(|a| a == "-v" || a == "--version") {
+    if env::args().skip(1).any(|a| a == "-v" || a == "--version") {
         println!("{:}", git_version!());
         return;
     }