From c3b2040087676b1826b2c3370e9eb2e9f829cd91 Mon Sep 17 00:00:00 2001 From: John Clements Date: Fri, 10 Nov 2023 19:47:16 +0000 Subject: update makefile for v8.11 release --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index bb548c5ce8..a397563b56 100644 --- a/Makefile +++ b/Makefile @@ -112,7 +112,7 @@ CFLAGS_FOR_BUILD = # This branch name must be changed each time the pb boot files are # updated: -PB_BRANCH = v9.9.9-pre-release.18-1 +PB_BRANCH = v8.11 PB_REPO = https://github.com/racket/pb # Set to empty for Git before v1.7.10: -- cgit v1.2.3