From 852f794eb8701a40846031df45065183b8fd522a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Guido=20Mart=C3=ADnez?= <mtzguido@gmail.com>
Date: Wed, 8 Jan 2025 19:42:16 -0800
Subject: [PATCH] Makefile: fix get_fstar_z3.sh link in bin/

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 40c323847e6..d2e8dce2ba2 100644
--- a/Makefile
+++ b/Makefile
@@ -272,7 +272,7 @@ setlink-%:
 	# For compatibility with the previous layout
 	mkdir -p bin
 	ln -Trsf out/bin/fstar.exe bin/fstar.exe
-	ln -Trsf out/bin/get_fstar_z3.sh bin/get_fstar_z3.sh
+	ln -Trsf .scripts/get_fstar_z3.sh bin/get_fstar_z3.sh
 
 stage1: $(INSTALLED_FSTAR1_FULL_EXE)
 1: stage1