make/scripts/hgforest.sh
author adlertz
Fri, 24 Jan 2014 13:06:52 +0100
changeset 22804 401135897b65
parent 15903 bc0e6cd9d760
permissions -rw-r--r--
8031498: Cleanup and re-factorize PhaseChaitin::build_ifg_physical Summary: Created sub-functions, added data structures, improved naming and removed unnecessary code Reviewed-by: kvn, roland, rbackman
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
7650
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
     1
#!/bin/sh
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
     2
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
     3
#
12582
46d24df71c5d 7167593: Changed get_source.sh to allow for getting full oracle jdk repo forest
ohair
parents: 7650
diff changeset
     4
# Copyright (c) 2009, 2012, Oracle and/or its affiliates. All rights reserved.
7650
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
     5
# DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
     6
#
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
     7
# This code is free software; you can redistribute it and/or modify it
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
     8
# under the terms of the GNU General Public License version 2 only, as
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
     9
# published by the Free Software Foundation.
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    10
#
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    11
# This code is distributed in the hope that it will be useful, but WITHOUT
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    12
# ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    13
# FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    14
# version 2 for more details (a copy is included in the LICENSE file that
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    15
# accompanied this code).
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    16
#
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    17
# You should have received a copy of the GNU General Public License version
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    18
# 2 along with this work; if not, write to the Free Software Foundation,
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    19
# Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    20
#
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    21
# Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    22
# or visit www.oracle.com if you need additional information or have any
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    23
# questions.
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    24
#
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    25
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    26
# Shell script for a fast parallel forest command
12582
46d24df71c5d 7167593: Changed get_source.sh to allow for getting full oracle jdk repo forest
ohair
parents: 7650
diff changeset
    27
command="$1"
46d24df71c5d 7167593: Changed get_source.sh to allow for getting full oracle jdk repo forest
ohair
parents: 7650
diff changeset
    28
pull_extra_base="$2"
7650
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    29
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    30
tmp=/tmp/forest.$$
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    31
rm -f -r ${tmp}
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    32
mkdir -p ${tmp}
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    33
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    34
# Remove tmp area on A. B. Normal termination
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    35
trap 'rm -f -r ${tmp}' KILL
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    36
trap 'rm -f -r ${tmp}' EXIT
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    37
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    38
# Only look in specific locations for possible forests (avoids long searches)
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    39
pull_default=""
12582
46d24df71c5d 7167593: Changed get_source.sh to allow for getting full oracle jdk repo forest
ohair
parents: 7650
diff changeset
    40
repos=""
46d24df71c5d 7167593: Changed get_source.sh to allow for getting full oracle jdk repo forest
ohair
parents: 7650
diff changeset
    41
repos_extra=""
46d24df71c5d 7167593: Changed get_source.sh to allow for getting full oracle jdk repo forest
ohair
parents: 7650
diff changeset
    42
if [ "${command}" = "clone" -o "${command}" = "fclone" ] ; then
15903
bc0e6cd9d760 8008914: Add nashorn to the tl build
jjg
parents: 13511
diff changeset
    43
  subrepos="corba jaxp jaxws langtools jdk hotspot nashorn"
7650
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    44
  if [ -f .hg/hgrc ] ; then
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    45
    pull_default=`hg paths default`
12582
46d24df71c5d 7167593: Changed get_source.sh to allow for getting full oracle jdk repo forest
ohair
parents: 7650
diff changeset
    46
    if [ "${pull_default}" = "" ] ; then
46d24df71c5d 7167593: Changed get_source.sh to allow for getting full oracle jdk repo forest
ohair
parents: 7650
diff changeset
    47
      echo "ERROR: Need initial clone with 'hg paths default' defined"
46d24df71c5d 7167593: Changed get_source.sh to allow for getting full oracle jdk repo forest
ohair
parents: 7650
diff changeset
    48
      exit 1
46d24df71c5d 7167593: Changed get_source.sh to allow for getting full oracle jdk repo forest
ohair
parents: 7650
diff changeset
    49
    fi
7650
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    50
  fi
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    51
  if [ "${pull_default}" = "" ] ; then
12582
46d24df71c5d 7167593: Changed get_source.sh to allow for getting full oracle jdk repo forest
ohair
parents: 7650
diff changeset
    52
    echo "ERROR: Need initial repository to use this script"
7650
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    53
    exit 1
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    54
  fi
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    55
  for i in ${subrepos} ; do
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    56
    if [ ! -f ${i}/.hg/hgrc ] ; then
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    57
      repos="${repos} ${i}"
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    58
    fi
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    59
  done
12582
46d24df71c5d 7167593: Changed get_source.sh to allow for getting full oracle jdk repo forest
ohair
parents: 7650
diff changeset
    60
  if [ "${pull_extra_base}" != "" ] ; then
13511
b4f6c05ae88a 7196361: add hotspot/make/closed to hgforest.sh
jcoomes
parents: 13190
diff changeset
    61
    subrepos_extra="jdk/src/closed jdk/make/closed jdk/test/closed hotspot/make/closed hotspot/src/closed hotspot/test/closed deploy install sponsors pubs"
12583
78cadbe9f385 7167976: Fix broken get_source.sh script
ohair
parents: 12582
diff changeset
    62
    pull_default_tail=`echo ${pull_default} | sed -e 's@^.*://[^/]*/\(.*\)@\1@'`
78cadbe9f385 7167976: Fix broken get_source.sh script
ohair
parents: 12582
diff changeset
    63
    pull_extra="${pull_extra_base}/${pull_default_tail}"
12582
46d24df71c5d 7167593: Changed get_source.sh to allow for getting full oracle jdk repo forest
ohair
parents: 7650
diff changeset
    64
    for i in ${subrepos_extra} ; do
46d24df71c5d 7167593: Changed get_source.sh to allow for getting full oracle jdk repo forest
ohair
parents: 7650
diff changeset
    65
      if [ ! -f ${i}/.hg/hgrc ] ; then
46d24df71c5d 7167593: Changed get_source.sh to allow for getting full oracle jdk repo forest
ohair
parents: 7650
diff changeset
    66
        repos_extra="${repos_extra} ${i}"
46d24df71c5d 7167593: Changed get_source.sh to allow for getting full oracle jdk repo forest
ohair
parents: 7650
diff changeset
    67
      fi
46d24df71c5d 7167593: Changed get_source.sh to allow for getting full oracle jdk repo forest
ohair
parents: 7650
diff changeset
    68
    done
46d24df71c5d 7167593: Changed get_source.sh to allow for getting full oracle jdk repo forest
ohair
parents: 7650
diff changeset
    69
  fi
7650
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    70
  at_a_time=2
12582
46d24df71c5d 7167593: Changed get_source.sh to allow for getting full oracle jdk repo forest
ohair
parents: 7650
diff changeset
    71
  # Any repos to deal with?
46d24df71c5d 7167593: Changed get_source.sh to allow for getting full oracle jdk repo forest
ohair
parents: 7650
diff changeset
    72
  if [ "${repos}" = "" -a "${repos_extra}" = "" ] ; then
46d24df71c5d 7167593: Changed get_source.sh to allow for getting full oracle jdk repo forest
ohair
parents: 7650
diff changeset
    73
    echo "No repositories to clone."
46d24df71c5d 7167593: Changed get_source.sh to allow for getting full oracle jdk repo forest
ohair
parents: 7650
diff changeset
    74
    exit
46d24df71c5d 7167593: Changed get_source.sh to allow for getting full oracle jdk repo forest
ohair
parents: 7650
diff changeset
    75
  fi
7650
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    76
else
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    77
  hgdirs=`ls -d ./.hg ./*/.hg ./*/*/.hg ./*/*/*/.hg ./*/*/*/*/.hg 2>/dev/null`
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    78
  # Derive repository names from the .hg directory locations
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    79
  for i in ${hgdirs} ; do
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    80
    repos="${repos} `echo ${i} | sed -e 's@/.hg$@@'`"
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    81
  done
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    82
  at_a_time=8
12582
46d24df71c5d 7167593: Changed get_source.sh to allow for getting full oracle jdk repo forest
ohair
parents: 7650
diff changeset
    83
  # Any repos to deal with?
46d24df71c5d 7167593: Changed get_source.sh to allow for getting full oracle jdk repo forest
ohair
parents: 7650
diff changeset
    84
  if [ "${repos}" = "" ] ; then
46d24df71c5d 7167593: Changed get_source.sh to allow for getting full oracle jdk repo forest
ohair
parents: 7650
diff changeset
    85
    echo "No repositories to process."
46d24df71c5d 7167593: Changed get_source.sh to allow for getting full oracle jdk repo forest
ohair
parents: 7650
diff changeset
    86
    exit
46d24df71c5d 7167593: Changed get_source.sh to allow for getting full oracle jdk repo forest
ohair
parents: 7650
diff changeset
    87
  fi
7650
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    88
fi
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    89
12582
46d24df71c5d 7167593: Changed get_source.sh to allow for getting full oracle jdk repo forest
ohair
parents: 7650
diff changeset
    90
# Echo out what repositories we will clone
46d24df71c5d 7167593: Changed get_source.sh to allow for getting full oracle jdk repo forest
ohair
parents: 7650
diff changeset
    91
echo "# Repos: ${repos} ${repos_extra}"
7650
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    92
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    93
# Run the supplied command on all repos in parallel, save output until end
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    94
n=0
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    95
for i in ${repos} ; do
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    96
  echo "Starting on ${i}"
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    97
  n=`expr ${n} '+' 1`
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    98
  (
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
    99
    (
12582
46d24df71c5d 7167593: Changed get_source.sh to allow for getting full oracle jdk repo forest
ohair
parents: 7650
diff changeset
   100
      if [ "${command}" = "clone" -o "${command}" = "fclone" ] ; then
13190
9a809edf1ff6 7184406: Adjust get_source/hgforest script to allow for trailing // characters
ohair
parents: 12802
diff changeset
   101
        pull_newrepo="`echo ${pull_default}/${i} | sed -e 's@\([^:]/\)//*@\1@g'`"
9a809edf1ff6 7184406: Adjust get_source/hgforest script to allow for trailing // characters
ohair
parents: 12802
diff changeset
   102
        cline="hg clone ${pull_newrepo} ${i}"
7650
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
   103
        echo "# ${cline}"
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
   104
        ( eval "${cline}" )
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
   105
      else
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
   106
        cline="hg $*"
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
   107
        echo "# cd ${i} && ${cline}"
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
   108
        ( cd ${i} && eval "${cline}" )
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
   109
      fi
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
   110
      echo "# exit code $?"
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
   111
    ) > ${tmp}/repo.${n} 2>&1 ; cat ${tmp}/repo.${n} ) &
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
   112
  if [ `expr ${n} '%' ${at_a_time}` -eq 0 ] ; then
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
   113
    sleep 5
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
   114
  fi
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
   115
done
12802
cd7cb0396d1f 7170091: Fix missing wait between repo cloning in hgforest.sh
ohair
parents: 12583
diff changeset
   116
# Wait for all hg commands to complete
cd7cb0396d1f 7170091: Fix missing wait between repo cloning in hgforest.sh
ohair
parents: 12583
diff changeset
   117
wait
cd7cb0396d1f 7170091: Fix missing wait between repo cloning in hgforest.sh
ohair
parents: 12583
diff changeset
   118
12582
46d24df71c5d 7167593: Changed get_source.sh to allow for getting full oracle jdk repo forest
ohair
parents: 7650
diff changeset
   119
if [ "${repos_extra}" != "" ] ; then
46d24df71c5d 7167593: Changed get_source.sh to allow for getting full oracle jdk repo forest
ohair
parents: 7650
diff changeset
   120
  for i in ${repos_extra} ; do
46d24df71c5d 7167593: Changed get_source.sh to allow for getting full oracle jdk repo forest
ohair
parents: 7650
diff changeset
   121
    echo "Starting on ${i}"
46d24df71c5d 7167593: Changed get_source.sh to allow for getting full oracle jdk repo forest
ohair
parents: 7650
diff changeset
   122
    n=`expr ${n} '+' 1`
46d24df71c5d 7167593: Changed get_source.sh to allow for getting full oracle jdk repo forest
ohair
parents: 7650
diff changeset
   123
    (
46d24df71c5d 7167593: Changed get_source.sh to allow for getting full oracle jdk repo forest
ohair
parents: 7650
diff changeset
   124
      (
13190
9a809edf1ff6 7184406: Adjust get_source/hgforest script to allow for trailing // characters
ohair
parents: 12802
diff changeset
   125
          pull_newextrarepo="`echo ${pull_extra}/${i} | sed -e 's@\([^:]/\)//*@\1@g'`"
9a809edf1ff6 7184406: Adjust get_source/hgforest script to allow for trailing // characters
ohair
parents: 12802
diff changeset
   126
          cline="hg clone ${pull_newextrarepo} ${i}"
12582
46d24df71c5d 7167593: Changed get_source.sh to allow for getting full oracle jdk repo forest
ohair
parents: 7650
diff changeset
   127
          echo "# ${cline}"
46d24df71c5d 7167593: Changed get_source.sh to allow for getting full oracle jdk repo forest
ohair
parents: 7650
diff changeset
   128
          ( eval "${cline}" )
46d24df71c5d 7167593: Changed get_source.sh to allow for getting full oracle jdk repo forest
ohair
parents: 7650
diff changeset
   129
        echo "# exit code $?"
46d24df71c5d 7167593: Changed get_source.sh to allow for getting full oracle jdk repo forest
ohair
parents: 7650
diff changeset
   130
      ) > ${tmp}/repo.${n} 2>&1 ; cat ${tmp}/repo.${n} ) &
46d24df71c5d 7167593: Changed get_source.sh to allow for getting full oracle jdk repo forest
ohair
parents: 7650
diff changeset
   131
    if [ `expr ${n} '%' ${at_a_time}` -eq 0 ] ; then
46d24df71c5d 7167593: Changed get_source.sh to allow for getting full oracle jdk repo forest
ohair
parents: 7650
diff changeset
   132
      sleep 5
46d24df71c5d 7167593: Changed get_source.sh to allow for getting full oracle jdk repo forest
ohair
parents: 7650
diff changeset
   133
    fi
46d24df71c5d 7167593: Changed get_source.sh to allow for getting full oracle jdk repo forest
ohair
parents: 7650
diff changeset
   134
  done
12802
cd7cb0396d1f 7170091: Fix missing wait between repo cloning in hgforest.sh
ohair
parents: 12583
diff changeset
   135
  # Wait for all hg commands to complete
cd7cb0396d1f 7170091: Fix missing wait between repo cloning in hgforest.sh
ohair
parents: 12583
diff changeset
   136
  wait
12582
46d24df71c5d 7167593: Changed get_source.sh to allow for getting full oracle jdk repo forest
ohair
parents: 7650
diff changeset
   137
fi
7650
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
   138
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
   139
# Cleanup
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
   140
rm -f -r ${tmp}
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
   141
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
   142
# Terminate with exit 0 all the time (hard to know when to say "failed")
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
   143
exit 0
6a3a53d8eacc 7003845: README-builds document proper location of forest extension, provide alternatives
ohair
parents:
diff changeset
   144