diff options
Diffstat (limited to 'devel/monodevelop-java/files/patch-configure')
| -rw-r--r-- | devel/monodevelop-java/files/patch-configure | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/devel/monodevelop-java/files/patch-configure b/devel/monodevelop-java/files/patch-configure new file mode 100644 index 000000000000..62bae3ac7bda --- /dev/null +++ b/devel/monodevelop-java/files/patch-configure @@ -0,0 +1,8 @@ +--- configure.orig 2008-03-02 11:51:45.000000000 +0100 ++++ configure 2008-03-02 11:51:52.000000000 +0100 +@@ -1,4 +1,4 @@ +-#!/bin/bash ++#!/usr/bin/env bash + VERSION=0.19 + PACKAGE=monodevelop-boo + prefix=/usr/local |