Skip to content

Commit 2f1c2e3

Browse files
committed
melting-pot: explain why we prepend configs
1 parent 3aaa02a commit 2f1c2e3

1 file changed

Lines changed: 4 additions & 0 deletions

File tree

melting-pot.sh

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -706,6 +706,10 @@ deps=$(grep "^\[INFO\] " "$buildLog" |
706706
sort | tr '\n' ',')
707707
if [ -z "$(containsLine "$deps" "$successLog")" ]
708708
then
709+
# NB: *Prepend*, rather than append, the new successful configuration.
710+
# We do this because it is more likely this new configuration will be
711+
# encountered again in the future, as dependency versions are highly
712+
# likely to repeatedly increment, rather than moving backwards.
709713
echo "$deps" > "$successLog".new
710714
test -f "$successLog" && cat "$successLog" >> "$successLog".new
711715
mv -f "$successLog".new "$successLog"

0 commit comments

Comments
 (0)