From 7191869d0943466441f975cef0a841d0e68ec195 Mon Sep 17 00:00:00 2001
From: Flaviu Tamas <tamasflaviu@gmail.com>
Date: Sat, 7 Feb 2015 09:46:03 -0500
Subject: [PATCH] Use /bin/sh

Apparently /usr/bin/sh only works in Arch Linux
---
 runtests.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/runtests.sh b/runtests.sh
index ba6fff0326..c15ef088a6 100755
--- a/runtests.sh
+++ b/runtests.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/sh
+#!/bin/sh
 nim c --path:src -r --verbosity:0 --hints:off --linedir:on --debuginfo \
   --stacktrace:on --linetrace:on "$@" ./test/testall.nim \
   | grep -vE 'ProveInit|instantiation from here'