Browse Source

[1878] use . instead of source

Jelte Jansen 13 years ago
parent
commit
3e6773dbdb
1 changed files with 1 additions and 1 deletions
  1. 1 1
      tests/lettuce/run_lettuce.sh

+ 1 - 1
tests/lettuce/run_lettuce.sh

@@ -20,6 +20,6 @@ if [ "$1" = "-I" ]; then
     echo "$@"
     LETTUCE_SETUP_COMPLETED=1 exec lettuce $@
 else
-    source ./setup_intree_bind10.sh
+    . ./setup_intree_bind10.sh
     exec lettuce $@
 fi