3 FOSSILS_SCRIPT_DIR
="$(dirname "$
(readlink
-f "$0")")"
4 FOSSILS_YAML
="$(readlink -f "$1")"
12 git clone
--no-checkout "$repo" fossils-db
13 (cd fossils-db
; git
reset "$commit" || git
reset "origin/$commit")
18 python3
"$FOSSILS_SCRIPT_DIR/query_fossils_yaml.py" \
19 --file "$FOSSILS_YAML" "$@"
36 local fossil
="${1//,/?}"
37 echo -n "[fetch_fossil] Fetching $1... "
38 local output
=$
(git lfs pull
-I "$fossil" 2>&1)
40 if [[ $?
-ne 0 ||
! -f "$1" ]]; then
51 if [[ -n "$(query_fossils_yaml fossils_db_repo)" ]]; then
52 clone_fossils_db
"$(query_fossils_yaml fossils_db_repo)" \
53 "$(query_fossils_yaml fossils_db_commit)"
56 echo "Warning: No fossils-db entry in $FOSSILS_YAML, assuming fossils-db is current directory"
59 # During git operations various git objects get created which
60 # may take up significant space. Store a clean .git instance,
61 # which we restore after various git operations to keep our
62 # storage consumption low.
65 for fossil
in $
(query_fossils_yaml fossils
)
67 fetch_fossil
"$fossil" ||
exit $?
68 fossilize-replay
--num-threads 4 $fossil 1>&2 2> $FOSSILS_RESULTS/fossil_replay.txt
70 echo "Replay of $fossil failed"
71 grep "pipeline crashed or hung" $FOSSILS_RESULTS/fossil_replay.txt