From 64cc026cedb21565ac8095c4a38650c2f3fdd1cc Mon Sep 17 00:00:00 2001
From: Dominik Picheta <dominikpicheta@gmail.com>
Date: Sat, 28 Jan 2017 23:12:49 +0100
Subject: [PATCH] Fixes install_*.nims scripts on Linux.

---
 install_nimble.nims | 2 +-
 install_tools.nims  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/install_nimble.nims b/install_nimble.nims
index e1b665d589..29d89bec88 100644
--- a/install_nimble.nims
+++ b/install_nimble.nims
@@ -3,4 +3,4 @@ mode = ScriptMode.Verbose
 
 echo "This script is deprecated. Use 'koch nimble' instead."
 
-exec "koch nimble"
+exec "./koch nimble"
diff --git a/install_tools.nims b/install_tools.nims
index e7f0aee2c6..b0307196cc 100644
--- a/install_tools.nims
+++ b/install_tools.nims
@@ -3,4 +3,4 @@ mode = ScriptMode.Verbose
 
 echo "This script is deprecated. Use 'koch tools' instead."
 
-exec "koch tools"
+exec "./koch tools"