From 0f7162568cb35807350d54d36c00910588df7954 Mon Sep 17 00:00:00 2001
From: Volodymyr Shymanskyy <vshymanskyi@gmail.com>
Date: Tue, 14 Apr 2020 01:33:12 +0300
Subject: [PATCH] Dummy --dir flag. Fix #119

---
 platforms/app/main.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/platforms/app/main.c b/platforms/app/main.c
index 7fb1e88..bb64f55 100644
--- a/platforms/app/main.c
+++ b/platforms/app/main.c
@@ -258,6 +258,10 @@ int  main  (int i_argc, const char* i_argv[])
             return 0;
         } else if (!strcmp("--repl", arg)) {
             argRepl = true;
+        } else if (!strcmp("--dir", arg)) {
+            const char* argDir;
+            ARGV_SET(argDir);
+            (void)argDir;
         } else if (!strcmp("--func", arg) or !strcmp("-f", arg)) {
             ARGV_SET(argFunc);
         }