Browse Source

weitere Probleme mit dem Makefile behoben

master
Stephan Richter 3 years ago
parent
commit
743a292c67
  1. 3
      Scripte/Makefile

3
Scripte/Makefile

@ -35,7 +35,8 @@ convert/%: users.map @@ -35,7 +35,8 @@ convert/%: users.map
bare/%:
make "convert/$*"
@echo Konvertiere zu Bare-Repository: $*
@mkdir -p "bare"
@mkdir -p "bare/$*.git"
@rmdir "bare/$*.git"
@mv "convert/$*/.git" "bare/$*.git" && rm -rf "convert/$*"
@cd "bare/$*.git" && git config --bool core.bare true

Loading…
Cancel
Save