From 8c0b1967eb61f2e756e86e061a5cac790617fa68 Mon Sep 17 00:00:00 2001
From: "Ben L. Titzer" <ben.titzer@gmail.com>
Date: Thu, 24 Aug 2023 11:28:50 -0400
Subject: [PATCH] [setup] Make git ignore updates to bin/v3c upon first linking

---
 bin/.setup-v3c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/bin/.setup-v3c b/bin/.setup-v3c
index 30012ff4b..6a3eff1b9 100755
--- 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