diff options
| -rwxr-xr-x | plot_ecrts | 5 |
1 files changed, 5 insertions, 0 deletions
| @@ -38,6 +38,11 @@ function plot_file { | |||
| 38 | STRIPPED=`get_tmp_file` | 38 | STRIPPED=`get_tmp_file` |
| 39 | # remove comments for Gnuplot | 39 | # remove comments for Gnuplot |
| 40 | egrep -v '^#' $FILE > $STRIPPED | 40 | egrep -v '^#' $FILE > $STRIPPED |
| 41 | if [ ! -s $STRIPPED ] | ||
| 42 | then | ||
| 43 | echo "Skipping $FILE since there wasn't any data to be found. " | ||
| 44 | return | ||
| 45 | fi | ||
| 41 | # decode file name | 46 | # decode file name |
| 42 | PARAMS= | 47 | PARAMS= |
| 43 | for KV in `echo $NAME | sed -e 's/_/ /g'` | 48 | for KV in `echo $NAME | sed -e 's/_/ /g'` |
