diff options
Diffstat (limited to 'Tools')
| -rwxr-xr-x | Tools/scripts/tindex | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/Tools/scripts/tindex b/Tools/scripts/tindex index 6da6f1d2254e..671c7666c889 100755 --- a/Tools/scripts/tindex +++ b/Tools/scripts/tindex @@ -153,9 +153,14 @@ for branch in 9.x 10.x 11.x; do eval _osver=\$OSVERSION${release} export OSVERSION=${_osver} + if [ "${release}" = "9" ]; then + MAKE_CMD=fmake + else + MAKE_CMD=make + fi echo "Building INDEX for ${branch} with OSVERSION=${OSVERSION}" cd ${PORTSDIR} - ((make index 2> index.err) > index.out) || indexfail ${branch} + ((${MAKE_CMD} index 2> index.err) > index.out) || indexfail ${branch} if [ -s index.err ]; then indexfail ${branch} fi |