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:
-rw-r--r--ChangeLog5
-rwxr-xr-xmonodevelop.in2
2 files changed, 6 insertions, 1 deletions
diff --git a/ChangeLog b/ChangeLog
index d89d96a17c..0b83e4cdd3 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2007-11-13 Michael Hutchinson <mhutchinson@novell.com>
+
+ * monodevelop.in: Explicitly use /bin/bash rather than /bin/sh, as
+ "exec -a" isn't compatible with POSIX sh.
+
2007-11-13 Lluis Sanchez Gual <lluis@novell.com>
* Makefile.am: Added target for rebuilding the add-in database.
diff --git a/monodevelop.in b/monodevelop.in
index 0d7537373e..f54c24eed8 100755
--- a/monodevelop.in
+++ b/monodevelop.in
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
reWrite() {
ret=""