summaryrefslogtreecommitdiff
path: root/maint/cbindgen
Commit message (Collapse)AuthorAgeFilesLines
* Label our cbindgen output, to detect version incompatibility.Nick Mathewson2024-12-091-0/+1
| | | | | | | This will help us keep track of whether we are using the pinned-to version of cbindgen. Closes #1772.
* maint/cbindgen: Workaround for systems without gnu-getopt by default.Nick Mathewson2024-10-211-2/+9
|
* cbindgen script: Fix behavior of --checkNick Mathewson2024-08-071-1/+1
| | | | Previously it didn't actually fail if there was a change.
* Add a missing "-".Nick Mathewson2024-07-311-1/+1
|
* Add a script to run cbindgen and check its outputs.Nick Mathewson2024-07-311-0/+172
This is a bit complicated since: - Using cbindgen with macro expansion requires a nightly rust: so, we have to look for one. - There are some cbindgen warnings which I cannot find any way to suppress, so instead of giving all warnings, it seems better to give a diff from the old list of warnings to the new list.