|
@ -85,12 +85,12 @@ function safe_checkout_branch { |
|
|
# Zkontrolujeme, že se nemění tahle knihovna a skript, který běží. |
|
|
# Zkontrolujeme, že se nemění tahle knihovna a skript, který běží. |
|
|
# `git rev-parse` dává SHA-1 hashe objektů, vizte manuálovou stránku pro pochopení. |
|
|
# `git rev-parse` dává SHA-1 hashe objektů, vizte manuálovou stránku pro pochopení. |
|
|
# Pozor: tohle porovnává jen verze commitnuté do gitu. Lokální změny udělají něco náhodného… |
|
|
# Pozor: tohle porovnává jen verze commitnuté do gitu. Lokální změny udělají něco náhodného… |
|
|
if test "$(git rev-parse @:make/lib.sh)" != "$(git rev-parse "$REMOTE_BRANCH":make/lib.sh)" |
|
|
if test "$(git rev-parse @:make/lib.sh)" != "$(git rev-parse "$UPSTREAM_BRANCH":make/lib.sh)" |
|
|
then |
|
|
then |
|
|
echo >&2 "Změna v make/lib.sh, prosím pullni manuálně" |
|
|
echo >&2 "Změna v make/lib.sh, prosím pullni manuálně" |
|
|
exit 1 |
|
|
exit 1 |
|
|
fi |
|
|
fi |
|
|
if test "$(git rev-parse @:"$SCRIPT")" != "$(git rev-parse "$REMOTE_BRANCH":"$SCRIPT")" |
|
|
if test "$(git rev-parse @:"$SCRIPT")" != "$(git rev-parse "$UPSTREAM_BRANCH":"$SCRIPT")" |
|
|
then |
|
|
then |
|
|
echo >&2 "Změna v $SCRIPT, prosím pullni manuálně" |
|
|
echo >&2 "Změna v $SCRIPT, prosím pullni manuálně" |
|
|
exit 1 |
|
|
exit 1 |
|
|