block_tests.awk 239 B

1234567891011121314151617
  1. #!/usr/bin/awk -f
  2. BEGIN{
  3. while(getline < "BLOCKED") {
  4. test = $1$2$3
  5. blocked[test]
  6. }
  7. }
  8. NF && ! /^#/ {
  9. test = $2$3
  10. if(!(test in blocked)) {
  11. s=$1 "_graphene ./pal_loader"
  12. for (i=2; i<=NF; i++) {
  13. s = s " " $i
  14. }
  15. print s
  16. }
  17. }