Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Improve testspecial and test-compile scripts #4586

Merged
merged 2 commits into from
Jun 28, 2021

Conversation

fingolfin
Copy link
Member

@fingolfin fingolfin commented Jun 26, 2021

  • change run_gap.sh to directly create its output file, instead of
    printing to stdout and then piping that into the output file; this
    makes it less likely that regenerate_tests.sh leaves corrupt .out
    files when interrupted
  • make use of gap --print-gaproot for more robust code
  • use GNU parallel if available

@fingolfin fingolfin requested a review from ChrisJefferson June 26, 2021 00:40
@fingolfin fingolfin added release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: infrastructure topic: tests issues or PRs related to tests labels Jun 26, 2021
- change `run_gap.sh` to directly create its output file, instead of
  printing to stdout and then piping *that* into the output file; this
  makes it less likely that `regenerate_tests.sh` leaves corrupt `.out`
  files when interrupted
- make use of `gap --print-gaproot` for more robust code
@fingolfin fingolfin merged commit a0de11e into gap-system:master Jun 28, 2021
@fingolfin fingolfin deleted the mh/testspecial branch June 28, 2021 17:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: infrastructure topic: tests issues or PRs related to tests
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants