From 8aa4dcf1d68ed38e251329a471f97697eba56eba Mon Sep 17 00:00:00 2001
From: Thibault Payet <monwarez@gmail.com>
Date: Mon, 17 Jul 2017 18:47:04 -0400
Subject: use /usr/bin/env bash in tools

---
 tools/stackdump | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools/stackdump')

diff --git a/tools/stackdump b/tools/stackdump
index 25b1fa46a..47cb172ed 100755
--- a/tools/stackdump
+++ b/tools/stackdump
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 case "$1" in
 	map|char|login)
-- 
cgit v1.2.3-60-g2f50