6 commits

Author	SHA1	Message	Date
Pieter Vander Vennet	e1b3f09e0a	Small improvements to the build	2024-03-13 01:55:01 +01:00
Pieter Vander Vennet	7a37044a48	Attempt to fix the build	2024-03-12 21:49:11 +01:00
Pieter Vander Vennet	7e6b96080d	Attempt to fix build	2024-03-12 17:06:15 +01:00
Pieter Vander Vennet	9aa21e2759	Fix build: add mapcomplete-changes	2023-12-30 16:41:39 +01:00
Pieter Vander Vennet	3cf6ebbb69	Fix build	2023-12-30 16:33:52 +01:00
Pieter Vander Vennet	7dbef4c68e	Split build step in two scripts	2023-12-23 22:10:39 +01:00