From 743a292c67d85398bef212ce1f3822c47dbd12bd Mon Sep 17 00:00:00 2001 From: Stephan Richter Date: Fri, 1 Oct 2021 09:55:45 +0200 Subject: [PATCH] weitere Probleme mit dem Makefile behoben --- Scripte/Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Scripte/Makefile b/Scripte/Makefile index 38bdc83..55356e1 100644 --- a/Scripte/Makefile +++ b/Scripte/Makefile @@ -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