From c7c66d7a3b0a92b44416f6d3a212ef12acd09bcd Mon Sep 17 00:00:00 2001
From: Florent Rougon <f.rougon@free.fr>
Date: Sat, 29 Oct 2016 00:04:12 +0200
Subject: [PATCH] Fix handling of -- (end-of-options delimiter on the command
 line)

---
 src/Main/options.cxx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Main/options.cxx b/src/Main/options.cxx
index ddc16f93d..8c66af096 100644
--- a/src/Main/options.cxx
+++ b/src/Main/options.cxx
@@ -1955,7 +1955,7 @@ void Options::init(int argc, char **argv, const SGPath& appDataPath)
   for (int i=1; i<argc; ++i) {
     if (inOptions && (argv[i][0] == '-')) {
       if (strcmp(argv[i], "--") == 0) { // end of options delimiter
-        inOptions = true;
+        inOptions = false;
         continue;
       }