1  #!/bin/bash
 2  
 3  base=$(cd "`dirname $0`"; pwd)
 4  
 5  cd "$base"
 6  
 7  orig="`echo $1 | sed 's/devserver:integration$/devserver/'`"
 8  
 9  if [ "$orig" != "$1" ]; then
10      shift
11  
12      if [ "$INTEGRATION_LOGFILE" = "" ]; then
13          export INTEGRATION_LOGFILE="/dev/null"
14      fi
15  
16      echo "INTEGRATION MODE FOR: $orig" # just a pointer we are here
17      echo "INTEGRATION ARGS: $@"
18      exec java -cp "ant/*" org.apache.tools.ant.launch.Launcher $orig -Daspace.integration=true ${1+"$@"} >>"$INTEGRATION_LOGFILE" 2>&1
19  else
20      exec java -cp "ant/*" org.apache.tools.ant.launch.Launcher ${1+"$@"}
21  fi