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 /extras/JavaBinding/configure | |
parent | 2c9651d77b35fccb6d2fff00eb72448b4c2e512b (diff) |
Fix #5113 - Improve building portability
Diffstat (limited to 'extras/JavaBinding/configure')
-rwxr-xr-x | extras/JavaBinding/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extras/JavaBinding/configure b/extras/JavaBinding/configure index c80d16a73d..569a7c980a 100755 --- a/extras/JavaBinding/configure +++ b/extras/JavaBinding/configure @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash VERSION=3.1.0 PACKAGE=monodevelop-java prefix=/usr/local |