[setup] Make git ignore updates to bin/v3c upon first linking

titzer · Aug 24, 2023 · 8c0b196 · 8c0b196
1 parent a2a2244
commit 8c0b196
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/bin/.setup-v3c b/bin/.setup-v3c
@@ -15,6 +15,9 @@ for host in $HOSTS; do
     for f in current bootstrap stable; do
 	exe=$BIN/$f/$host/Aeneas
 	if [ -x "$exe" ]; then
+	    if [ "$(which git)" != "" ]; then
+		git update-index --assume-unchanged $V3C_LINK
+	    fi
 	    rm -f $V3C_LINK
 	    ln -s $exe $V3C_LINK
 	    if [[ "$host" = "jar" ]]; then