Use the output path given in args

servo · Feb 7, 2024 · 43cb993 · 43cb993
1 parent b7022a5
commit 43cb993
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/init.sh b/init.sh
@@ -34,5 +34,5 @@ git -C upstream fetch origin $branch:$branch
 step Filtering upstream
 # Cloning and filtering is much faster than git filter-repo --source --target.
 # Using git clone here because we don’t care about refs/cinnabar/metadata.
-git clone --bare upstream filtered
-git -C filtered filter-repo --force --paths-from-file ../../style.paths
+git clone --bare upstream -- "$style"
+git -C "$style" filter-repo --force --paths-from-file ../../style.paths