Be more compatible in shell/env.

diff --git a/shell/env b/shell/env
index 6424c5892077d3625659cd94cbc1ecc811fcea6b..a119eaf17727332aaa9e2db5fd2bb11eb3fdd2be 100644 (file)
--- a/shell/env
+++ b/shell/env
@@ -5,7 +5,7 @@
 #
 # Doesn't fit perfectly in this file, but this is the best place to make it
 # available everywhere.
-function source_debug() {
+function source_debug {
     if [ x$DEBUG != x ]; then
         echo $@
     fi
@@ -101,7 +101,7 @@ export LSCOLORS
 # available everywhere.
 #
 # If DEBUG is set to a non empty value additional debug output is printed.
-function source_config() {
+function source_config {
     # Path to the file to source and its local counterpart.
     if [ x$4 != x ]; then
         source_file=$1/$2/$3.$4