kern 478 B

12345678910111213141516171819202122
  1. #!/bin/rc
  2. rfork ne
  3. # import rc functions popular among scripts, e.g. fail
  4. #
  5. . ../tools
  6. # we might have a source file here and do something like:
  7. # to override the source used for this benchmark
  8. bind proc.c ../../port/proc.c
  9. cp /cfg/pxe/003048ff2106 pxeorig
  10. cp 003048ff2106 /cfg/pxe
  11. # we might change the std source like this:
  12. # sed 's/initialTCs = [0-9]+/initialTCs = 16/' < ../../k10/main.c >main.c
  13. # bind main.c ../../k10/main.c
  14. cd /sys/src/nix/k10
  15. mk clean
  16. mk install