#!/bin/sh
# test00/test.cmd

# empty.txt       -> empty files well handled
# f2.txt          -> exact matches with non-whole and whole
# CASE.txt        -> matches in capitals
# read_error.txt  -> unopenable file

rm -f read_error.txt
touch read_error.txt
chmod a-r read_error.txt

run                        \
   -P dummy.gpr            \
   -look_for "toto"        \
   -files_pattern "*.txt"

rm -f read_error.txt
