Git fork
1#!/bin/sh
2
3if test "$#" -lt 3
4then
5 echo >&2 "usage: $0 <BUILD_DIR> <BUILD_OPTIONS> <LIBFILE> [<LIBFILE>...]"
6 exit 1
7fi
8
9BUILD_DIR="$1"
10BUILD_OPTIONS="$2"
11shift 2
12LIBFILES="$(echo "$@" | sort | sed 's|lib/||g')"
13
14. "$BUILD_OPTIONS"
15
16cd "$BUILD_DIR"
17
18if {
19 echo "source lib/class.tcl;"
20 echo "auto_mkindex lib $LIBFILES"
21} | "$TCL_PATH"
22then
23 : ok
24else
25 echo >&2 " * $TCL_PATH failed; using unoptimized loading"
26 rm -f lib/tclIndex
27 echo '# Autogenerated by git-gui Makefile' >lib/tclIndex
28 echo >>lib/tclIndex
29 echo "class.tcl" >>lib/tclIndex
30 printf "%s\n" $LIBFILES >>lib/tclIndex
31 echo >>lib/tclIndex
32fi