From 6870345cd2af461d49159ad453c5f6437752d096 Mon Sep 17 00:00:00 2001
From: Arne Döring <arne.doering@gmx.net>
Date: Tue, 12 Feb 2019 22:00:31 +0100
Subject: 32 bit fixes (#10608)

---
 bin/nim-gdb | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'bin')

diff --git a/bin/nim-gdb b/bin/nim-gdb
index e7b41094d..9d6f462bb 100755
--- a/bin/nim-gdb
+++ b/bin/nim-gdb
@@ -3,6 +3,9 @@
 # Exit if anything fails
 set -e
 
+which nim > /dev/null || (echo "nim not in PATH"; exit 1)
+which gdb > /dev/null || (echo "gdb not in PATH"; exit 1)
+
 # Find out where the pretty printer Python module is
 NIM_SYSROOT=$(dirname $(dirname $(readlink -e $(which nim))))
 GDB_PYTHON_MODULE_PATH="$NIM_SYSROOT/tools/nim-gdb.py"
-- 
cgit 1.4.1-2-gfad0