/usr/include/pike8.0/pike/precompile.sh is in pike8.0-dev 8.0.388-2.
This file is owned by root:root, with mode 0o755.
The actual contents of the file can be viewed below.
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 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 | #!/bin/sh
exec 5>&1 1>&2
TMP_BINDIR="`dirname \"$0\"`"
if [ x"$1" = x--cache ]; then
CACHE_OUTPUT=yes
shift 1
else
CACHE_OUTPUT=no
fi
SCRIPT="$1"
shift 1
case "$SCRIPT" in
/*|./*)
if test -f "$SCRIPT"; then :; else
echo "Script $SCRIPT not found."
exit 1
fi
;;
*)
if test -f ./$SCRIPT ; then
:
elif test -f "$TMP_BINDIR/$SCRIPT"; then
SCRIPT="$TMP_BINDIR/$SCRIPT"
else
echo "Script $SCRIPT neither found in the current directory nor in $TMP_BINDIR."
exit 1
fi
;;
esac
if [ $CACHE_OUTPUT = yes ]; then
for arg
do
INPUT="$arg"
done
TMPOUTPUT="${INPUT}.compiled"
if [ -f "$TMPOUTPUT" ]; then
if [ "`ls -1Lt $TMPOUTPUT $INPUT $SCRIPT 2>/dev/null | head -n 1`" = "`ls -1Lt $TMPOUTPUT`" ]; then
cat "$TMPOUTPUT" >&5
exit 0
fi
fi
else
TMPOUTPUT=x
fi
test $CACHE_OUTPUT = yes && trap 'rm -rf "$TMPOUTPUT" ; exit 1' 1 2 15
if test "x${RUNPIKE-}" != x ; then
echo "precompile: $RUNPIKE $SCRIPT $@"
if [ $CACHE_OUTPUT = yes ]; then
$RUNPIKE $SCRIPT "$@" >"$TMPOUTPUT"
else
$RUNPIKE $SCRIPT "$@" >&5
fi
if [ $? = 0 ]; then
test $CACHE_OUTPUT = yes && cat "$TMPOUTPUT" >&5
exit 0
else
test $CACHE_OUTPUT = yes && rm "$TMPOUTPUT"
fi
fi
echo "Failed to run $SCRIPT."
exit 1
|