1. 30 Aug, 2009 1 commit
  2. 10 Sep, 2009 2 commits
  3. 29 Aug, 2009 1 commit
    • kili's avatar
      Make this test a little more stable · 69e6b24e
      kili authored
      On slow machines, ghci can take more than one second to launch,
      which produces confusing failure output like
      
      +cat: 3171.pid: No such file or directory
      +usage: kill [-s signame | -signum | -signame] { job | pid | pgrp } ...
      +       kill -l [exit_status ...]
      
      Fix this by
      
      1) increasing the time before sending a SIGINT from 1 to 2 seconds,
      2) running the test program in the background and asking the shell for
         its pid instead of relying on the program to write the pid file
         quick enough.
      
      Of course you'll still see failures on *very* slow or overloaded
      machines; that would probably a stderr diff like `-Interrupted'.
      69e6b24e
  4. 09 Sep, 2009 1 commit
  5. 08 Sep, 2009 1 commit
  6. 06 Sep, 2009 1 commit
  7. 08 Sep, 2009 8 commits
  8. 30 Aug, 2009 1 commit
  9. 29 Aug, 2009 1 commit
  10. 25 Aug, 2009 3 commits
  11. 24 Aug, 2009 3 commits
  12. 21 Aug, 2009 6 commits
  13. 20 Aug, 2009 2 commits
  14. 19 Aug, 2009 2 commits
  15. 20 Aug, 2009 1 commit
  16. 19 Aug, 2009 2 commits
  17. 20 Aug, 2009 2 commits
  18. 19 Aug, 2009 2 commits