Skip to content

chore: move generated files into a generated sub-directory#92

Merged
mnahkies merged 3 commits into
mainfrom
mn/chore/move-things-around
Nov 4, 2023
Merged

chore: move generated files into a generated sub-directory#92
mnahkies merged 3 commits into
mainfrom
mn/chore/move-things-around

Conversation

@mnahkies

@mnahkies mnahkies commented Nov 4, 2023

Copy link
Copy Markdown
Owner
  • allows easy cleaning of the generated stuff
  • also replace scripts with a find + xargs approach to run in parallel

- allows easy cleaning of the generated stuff
- also replace scripts with a find + xargs approach to run
  in parallel
@mnahkies mnahkies force-pushed the mn/chore/move-things-around branch from ff0c129 to c6d83b9 Compare November 4, 2023 15:06
@mnahkies mnahkies marked this pull request as ready for review November 4, 2023 15:11
Comment thread scripts/generate.all.sh

set -xeo pipefail

find ./integration-tests -mindepth 1 -maxdepth 1 -type d | xargs -n1 -P 8 basename | xargs -n1 -P 8 ./scripts/generate.template.sh

Copy link
Copy Markdown
Owner Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

There seems to be some kind of race condition where sometimes silent failures occur 😞 - but generally it seems to be working well and is now 5s wall clock time on my machine vs ~30s

@mnahkies mnahkies merged commit e3b73e3 into main Nov 4, 2023
@mnahkies mnahkies deleted the mn/chore/move-things-around branch November 4, 2023 15:16
mnahkies added a commit that referenced this pull request Nov 4, 2023
mnahkies added a commit that referenced this pull request Nov 4, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant