12345678910111213141516171819 |
- #!/usr/bin/awk -f
- BEGIN{
- getline < "PASSED"
- while(getline < "PASSED") {
- split($1$2$3, a, ",")
- test = a[1]
- passed[test]
- }
- }
- NF && ! /^#/ {
- test = $2$3
- if(test in passed) {
- s=$1 "_graphene ./pal_loader"
- for (i=2; i<=NF; i++) {
- s = s " " $i
- }
- print s
- }
- }
|