Changeset 19566 for release-kits/mark2/setup.sh

Timestamp:

2009-05-22T16:22:53+12:00 (15 years ago)

Author:

oranfry

Message:

setup.sh is not reserved after all, it was just that another setup.sh was on the path meaning 'source setup.sh' ran that one

File:

• release-kits/mark2/setup.sh (moved) (moved from release-kits/mark2/setup.bash ) (1 diff)

release-kits/mark2/setup.sh

@@ -5 +5 @@
     export MARK2_HOME="`cd $home_possibly_relative && pwd`"
     export PATH=$MARK2_HOME/bin:$PATH
-    echo "Done"
 fi