Skip to content

Fix warning from grep when running make#4623

Merged
SeanTAllen merged 1 commit intomainfrom
grep-warning
Feb 20, 2025
Merged

Fix warning from grep when running make#4623
SeanTAllen merged 1 commit intomainfrom
grep-warning

Conversation

@SeanTAllen
Copy link
Copy Markdown
Member

Newer versions of grep were giving warnings when running make using our Makefile.

"grep: warning: stray \ before /"

This commit fixes the cause of the warnings.

Newer versions of grep were giving warnings when running make using
our Makefile.

"grep: warning: stray \ before /"

This commit fixes the cause of the warnings.
@SeanTAllen SeanTAllen requested a review from a team February 20, 2025 17:10
@ponylang-main ponylang-main added the discuss during sync Should be discussed during an upcoming sync label Feb 20, 2025
@SeanTAllen SeanTAllen merged commit 6651efc into main Feb 20, 2025
28 checks passed
@SeanTAllen SeanTAllen deleted the grep-warning branch February 20, 2025 21:09
@ponylang-main ponylang-main removed the discuss during sync Should be discussed during an upcoming sync label Feb 20, 2025
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.

2 participants