diff options
author | Romain Tartière <romain@blogreen.org> | 2012-05-16 23:47:12 +0400 |
---|---|---|
committer | Michael Hutchinson <m.j.hutchinson@gmail.com> | 2012-05-17 20:13:42 +0400 |
commit | dcf1c03bd3db266bd38e13d19d266133a0a33f83 (patch) | |
tree | 15c2280f3d31807aa24e5360459bfe618e757389 /main/mdtool.in | |
parent | 2c9651d77b35fccb6d2fff00eb72448b4c2e512b (diff) |
Fix #5113 - Improve building portability
Diffstat (limited to 'main/mdtool.in')
-rw-r--r-- | main/mdtool.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/main/mdtool.in b/main/mdtool.in index a6fec1831a..614f0b3943 100644 --- a/main/mdtool.in +++ b/main/mdtool.in @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash #this script should be in $PREFIX/bin MONO_EXEC="exec -a mdtool mono" |