Browse Source

make/lib: komentáře kolem git-rev-parse

pull/11/head
Pavel "LEdoian" Turinsky 2 years ago
parent
commit
e36410ee82
  1. 5
      make/lib.sh

5
make/lib.sh

@ -60,12 +60,13 @@ function safe_checkout_branch {
git fetch --all git fetch --all
# Od teď si musíme dát pozor, abychom nezměnili kód, který právě běží. # Od teď si musíme dát pozor, abychom nezměnili kód, který právě běží.
# Zkontrolujeme, že se nemění tahle knihovna a skript, který běží. # Zkontrolujeme, že se nemění tahle knihovna a skript, který běží.
if test $(git rev-parse @:make/lib.sh) != $(git rev-parse "$BRANCH":make/lib.sh) # `git rev-parse` dává SHA-1 hashe objektů, vizte manuálovou stránku pro pochopení.
if test "$(git rev-parse @:make/lib.sh)" != "$(git rev-parse "$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 "$BRANCH":"$SCRIPT") if test "$(git rev-parse @:"$SCRIPT")" != "$(git rev-parse "$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

Loading…
Cancel
Save