edit_sys_tests.awk 482 B

1234567891011121314151617181920212223242526272829303132333435
  1. #!/usr/bin/awk -f
  2. BEGIN{
  3. while(getline < "BLOCKED") {
  4. test = $1$2$3
  5. blocked[test]
  6. }
  7. if (SGX) {
  8. pal_str = "./pal_loader SGX"
  9. } else {
  10. pal_str = "./pal_loader"
  11. }
  12. }
  13. NF && ! /^#/ {
  14. test = $2$3
  15. if($1=="splice02") {
  16. s = pal_str
  17. for (i=2; i<=NF; i++) {
  18. s = s " " $i
  19. if($i=="|") {
  20. i++
  21. s = s " " pal_str " " $i
  22. }
  23. }
  24. print s
  25. }
  26. else if(! (test in blocked)) {
  27. s = pal_str
  28. for (i=2; i<=NF; i++) {
  29. s = s " " $i
  30. }
  31. print s
  32. }
  33. }