summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorStefan Monnier <monnier@iro.umontreal.ca>2022-06-11 16:47:54 -0400
committerStefan Monnier <monnier@iro.umontreal.ca>2022-06-11 16:47:54 -0400
commit7badf29be42ebf325eedb2f1276ce44604732855 (patch)
tree61330ecab27387dcf30510982ebead565c1d4707 /Makefile
parent9bbd6d5705f72bd7c3d9494295d65795b1b6cc04 (diff)
* Makefile (admin): Fetch `elpa-admin` if necessary
This happens if you do `git clone --single-branch .../elpa.git`.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile3
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 0f67392..654ad63 100644
--- a/Makefile
+++ b/Makefile
@@ -9,4 +9,7 @@ manifest.scm: admin
ln -s admin/elpa-manifest.scm $@
admin:
+ git show-ref --verify --quiet remotes/origin/elpa-admin || { \
+ git remote set-branches --add origin elpa-admin; \
+ git fetch origin; }
git worktree add -b elpa-admin admin origin/elpa-admin