From fcbc776b4058d6cd3453361f01c5ed1ffc7fa4a9 Mon Sep 17 00:00:00 2001 From: root Date: Sat, 23 Aug 2008 22:10:40 +0200 Subject: [PATCH] Use /bin/sh instead of bash --- with-gdb-backtrace-to | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/with-gdb-backtrace-to b/with-gdb-backtrace-to index eb0e7dd..66f9d4f 100755 --- a/with-gdb-backtrace-to +++ b/with-gdb-backtrace-to @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh # by christian at jaeger mine nu, put into the public domain # thanks go to tromey on #gdb -- 2.11.4.GIT