Skip to content

make paths in make_pin_headers relative

Currently, when run on unix system, the script attempts to write the output files into my root directory.

This change instead makes it write into the current directory, matching what every other script in the repository currently does.

Merge request reports