Commit b165b407 authored by fwinkler's avatar fwinkler

Little fix in collect errors script.

parent 00760fa5
...@@ -21,7 +21,7 @@ if [ -d /tmp/pika_debug ]; then ...@@ -21,7 +21,7 @@ if [ -d /tmp/pika_debug ]; then
echo "search for errors in debug output:" echo "search for errors in debug output:"
for file in "$files" for file in "$files"
do do
grep -i "error " $file >> $ERROR_FILE grep -i "error" $file >> $ERROR_FILE
done done
fi fi
fi fi
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment