Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRomain Tartière <romain@blogreen.org>2012-05-16 23:47:12 +0400
committerMichael Hutchinson <m.j.hutchinson@gmail.com>2012-05-17 20:13:42 +0400
commitdcf1c03bd3db266bd38e13d19d266133a0a33f83 (patch)
tree15c2280f3d31807aa24e5360459bfe618e757389 /extras/MonoDevelop.MonoMac/configure
parent2c9651d77b35fccb6d2fff00eb72448b4c2e512b (diff)
Fix #5113 - Improve building portability
Diffstat (limited to 'extras/MonoDevelop.MonoMac/configure')
-rwxr-xr-xextras/MonoDevelop.MonoMac/configure2
1 files changed, 1 insertions, 1 deletions
diff --git a/extras/MonoDevelop.MonoMac/configure b/extras/MonoDevelop.MonoMac/configure
index cd65795ed5..048fbcfc27 100755
--- a/extras/MonoDevelop.MonoMac/configure
+++ b/extras/MonoDevelop.MonoMac/configure
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
prefix=/usr/local
common_packages=" mono-addins;0.3 monodevelop;3.1.0 monodevelop-core-addins;2.7"