mirror of
https://github.com/jerryscript-project/jerryscript.git
synced 2025-12-15 16:29:21 +00:00
Adding arm-linux-perf notes ref to tools/pull.sh and tools/log.sh.
This commit is contained in:
parent
3bb990d782
commit
5630352f36
@ -14,5 +14,5 @@
|
||||
|
||||
#!/bin/bash
|
||||
|
||||
git log --show-notes=perf --show-notes=mem --show-notes=test_build_env
|
||||
git log --show-notes=perf --show-notes=arm-linux-perf --show-notes=mem --show-notes=test_build_env
|
||||
exit 0
|
||||
|
||||
@ -14,14 +14,6 @@
|
||||
|
||||
#!/bin/bash
|
||||
|
||||
trap ctrl_c INT
|
||||
|
||||
function ctrl_c() {
|
||||
git checkout master >&/dev/null
|
||||
|
||||
exit 1
|
||||
}
|
||||
|
||||
git pull --rebase
|
||||
status_code=$?
|
||||
|
||||
@ -32,10 +24,12 @@ then
|
||||
exit 1
|
||||
fi
|
||||
|
||||
for notes_ref in perf mem test_build_env
|
||||
do
|
||||
git checkout refs/notes/$notes_ref
|
||||
git pull --rebase origin refs/notes/$notes_ref
|
||||
done
|
||||
git fetch origin refs/notes/*:refs/notes/*
|
||||
status_code=$?
|
||||
|
||||
git checkout master >&/dev/null
|
||||
if [ $status_code -ne 0 ]
|
||||
then
|
||||
echo "Pulling notes failed"
|
||||
|
||||
exit 1
|
||||
fi
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user