Sometimes this make target doubles or even triples the comment. I think this is due to a temporary failure in the wget call, which is then ignored and an additional comment is added onto the top. If this happens multiple times in a row, you get multiple additions. Removing the `|| touch` should fix this, and surface any errors that are happening.
8.8 KiB
8.8 KiB