2007-08-13 13:15:02 +00:00
|
|
|
#! /bin/sh -e
|
|
|
|
echo substituter2 args: $* >&2
|
|
|
|
|
2008-08-02 12:54:35 +00:00
|
|
|
if test $1 = "--query"; then
|
|
|
|
while read cmd; do
|
|
|
|
if test "$cmd" = "have"; then
|
|
|
|
read path
|
|
|
|
if grep -q "$path" $TEST_ROOT/sub-paths; then
|
|
|
|
echo 1
|
|
|
|
else
|
|
|
|
echo 0
|
|
|
|
fi
|
|
|
|
elif test "$cmd" = "info"; then
|
|
|
|
read path
|
|
|
|
echo 1
|
|
|
|
echo "" # deriver
|
|
|
|
echo 0 # nr of refs
|
|
|
|
else
|
|
|
|
echo "bad command $cmd"
|
|
|
|
exit 1
|
|
|
|
fi
|
2007-08-13 13:15:02 +00:00
|
|
|
done
|
|
|
|
elif test $1 = "--substitute"; then
|
|
|
|
exit 1
|
|
|
|
else
|
|
|
|
echo "unknown substituter operation"
|
|
|
|
exit 1
|
|
|
|
fi
|