tree 81910df8334e6daaa833f8a68165fa466196a044
parent 723e22d4426d0fa71c18d883edccfd9f99a3fa8a
author Jan Kundrát <jan.kundrat@cesnet.cz> 1680097258 +0200
committer Jan Kundrát <jan.kundrat@cesnet.cz> 1680099887 +0200

CI: make the build safer

The CI builds used to cache the build directory when the build job was
invoked indirectly, via a change to another repo. That was not working
well; there were situations where a change made via
`submodules/dependencies` was not picked up properly. Also, the caching
itself took about 10 minutes, which kinda defeats the point of caching
in the first place.

Fix this by always performing a full rebuild from scratch, with no
previous state whatsoever.

Also, add some safeguards:

- show exactly what gets picked at the level of Buildroot (yay Makefile
  and shell magic)
- reject any changes brought in transitively *iff* we're changing
  br2-external and if that change doesn't sync the submodule which was
  pulled in

Change-Id: Ief4ac98218c7f6801fd303cf0015789535edcaf5