Skip to content

Remove unnecessary rm commands#229

Merged
diamant3 merged 1 commit intopspdev:masterfrom
davidgfnet:master
Jul 8, 2025
Merged

Remove unnecessary rm commands#229
diamant3 merged 1 commit intopspdev:masterfrom
davidgfnet:master

Conversation

@davidgfnet
Copy link
Member

The binaries are not generated due to -DEXPAT_BUILD_TOOLS=OFF, same for docs. It's better not to play with rm rf :)

The binaries are not generated due to -DEXPAT_BUILD_TOOLS=OFF, same for
docs. It's better not to play with rm rf :)
@diamant3 diamant3 merged commit 3ee289f into pspdev:master Jul 8, 2025
89 checks passed
@diamant3
Copy link
Member

diamant3 commented Jul 8, 2025

Thanks!

@sharkwouter
Copy link
Member

sharkwouter commented Jul 8, 2025

Next time please increase the pkgrel. Thanks for contributing, though. It is always appreciated :)

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.

3 participants