Parent Directory | Revision Log | Revision Graph
make "warnings" file shorter (and more relevant)
1 | #! /usr/bin/env bash |
2 | |
3 | # $Header: $ |
4 | # $Name: $ |
5 | |
6 | echo ' ' `basename $0` ': extract warnings from file:' $1 'into:' $2 |
7 | |
8 | sed -n '/ Warning/,/^ *$/p' $1 | sed '/^ *$/d' > $2 |
9 |
ViewVC Help | |
Powered by ViewVC 1.1.22 |