Add --reuse-hashes option to update script#50

Merged

chriseth merged 2 commits intogh-pagesfrom update-script-reuse-hashes

Jul 28, 2020

+91-39

Commits on Jul 28, 2020

update script: Move functions around a bit to make further changes easier

cameel
authored and
chriseth
committed
update script: Add --reuse-hashes option to allow skipping hash recalculation when list.json already exists

cameel
authored and
chriseth
committed