Browse Source

make/lib: .git může být i normální soubor (worktree)

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

2
make/lib.sh

@ -19,7 +19,7 @@ function die {
# Vždycky chceme zajistit, že běžíme z rootu repozitáře
# TODO: chceme? Nechceme naopak umět to spouštět odkudkoliv, aspoň u většiny targetů?
test -d '.git' || die "Make skript spuštěn ve špatné složce, spusť ho z kořenového adresáře repozitáře."
test -e '.git' || die "Make skript spuštěn ve špatné složce, spusť ho z kořenového adresáře repozitáře."
function ensure_venv {
test -f "$VENV_PATH/bin/activate" || $VENV "$VENV_PATH"

Loading…
Cancel
Save