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:
authorLluis Sanchez <lluis@novell.com>2007-12-05 01:28:35 +0300
committerLluis Sanchez <lluis@novell.com>2007-12-05 01:28:35 +0300
commit186653a00a4507c83af6f33cd78330510d75dcc6 (patch)
tree713d4404c94ea8eabf0846d32df2f46fbcb9a0b8 /configure
parent654bff4e41e60d51e0b7bc775ece0dae7d95d882 (diff)
* configure: Use bash to run the script.
* profiles/stable: Add boo and db to stable profile. svn path=/trunk/monodevelop/; revision=90720
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure2
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index 0589c0763b..927a4f1ec8 100755
--- a/configure
+++ b/configure
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
VERSION=0.17
prefix=/usr/local
profile=stable