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