Rename script used to build configuration.

Ref #2
This commit is contained in:
Benjamin Bohard 2022-03-12 11:10:19 +01:00
parent 2b465cfc67
commit 7c26744cbd