Skip to content

fix: boostrap generation#6742

Merged
rgrinberg merged 1 commit intomainfrom
ps/rr/fix__boostrap_generation
Dec 20, 2022
Merged

fix: boostrap generation#6742
rgrinberg merged 1 commit intomainfrom
ps/rr/fix__boostrap_generation

Conversation

@rgrinberg
Copy link
Copy Markdown
Member

We shouldn't emit In_source_tree, but rather raw relative paths as
strings

Signed-off-by: Rudi Grinberg me@rgrinberg.com

ps-id: 5807da91-5c6e-43f7-a1b0-c3d33472eaa7

We shouldn't emit `In_source_tree`, but rather raw relative paths as
strings

Signed-off-by: Rudi Grinberg <me@rgrinberg.com>

ps-id: 5807da91-5c6e-43f7-a1b0-c3d33472eaa7
@rgrinberg rgrinberg merged commit 97cf731 into main Dec 20, 2022
@rgrinberg rgrinberg deleted the ps/rr/fix__boostrap_generation branch December 20, 2022 23:06
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