This file is indexed.

/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