From 480bd2c3f75dd04ca5ec0d3e4cb730628ea70e13 Mon Sep 17 00:00:00 2001 From: Brunel Date: Thu, 15 Aug 2024 12:02:14 +0200 Subject: [PATCH] generate-ninja=0.0~git20240813.54f5b53-1 --- pika-build-config/lto.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pika-build-config/lto.sh b/pika-build-config/lto.sh index 0e1842646..0699a2e6d 100644 --- a/pika-build-config/lto.sh +++ b/pika-build-config/lto.sh @@ -1,5 +1,5 @@ -export PIKA_PACKAGE_VERSION="4.3.0-1" -export PIKA_PACKAGE_NAME="gcr4" +export PIKA_PACKAGE_VERSION="0.0~git20240813.54f5b53-1" +export PIKA_PACKAGE_NAME="generate-ninja" export PIKA_PACKAGE_PATCH=false export PIKA_REBUILD=false export PIKA_REBUILD_VERSION="b0"