From 2f8705f4d6bf3ed72704023b40c22742c49e4b83 Mon Sep 17 00:00:00 2001
From: David Nadlinger <code@klickverbot.at>
Date: Fri, 4 Jan 2013 01:42:01 +0100
Subject: [PATCH] Don't pass file name to executable on '-run'.

---
 driver/main.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/driver/main.cpp b/driver/main.cpp
index 0321fff6..e2618598 100644
--- a/driver/main.cpp
+++ b/driver/main.cpp
@@ -317,6 +317,7 @@ int main(int argc, char** argv)
         global.params.run = true;
         if (!runargs.empty()) {
             files.push(mem.strdup(runargs[0].c_str()));
+            runargs.erase(runargs.begin());
         } else {
             global.params.run = false;
             error("Expected at least one argument to '-run'\n");