1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
From fa4c73e2d8875eea58af026485b508461c657f42 Mon Sep 17 00:00:00 2001
From: Vagrant Cascadian <vagrant@reproducible-builds.org>
Date: Fri, 20 Jan 2023 22:50:55 +0000
Subject: [PATCH 1/2] src/programs/fiat.in: Avoid embedding the running kernel
version.
Use CMAKE_SYSTEM_NAME instead of CMAKE_SYSTEM to avoid embedding the
running kernel version.
https://tests.reproducible-builds.org/debian/issues/bookworm/captures_kernel_version_via_CMAKE_SYSTEM_issue.html
---
src/programs/fiat.in | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/programs/fiat.in b/src/programs/fiat.in
index 86f52eb..cab504c 100755
--- a/src/programs/fiat.in
+++ b/src/programs/fiat.in
@@ -42,7 +42,7 @@ info()
echo "Build:"
echo " build type : @CMAKE_BUILD_TYPE@"
echo " timestamp : @EC_BUILD_TIMESTAMP@"
- echo " op. system : @CMAKE_SYSTEM@ (@EC_OS_NAME@.@EC_OS_BITS@)"
+ echo " op. system : @CMAKE_SYSTEM_NAME@ (@EC_OS_NAME@.@EC_OS_BITS@)"
echo " processor : @CMAKE_SYSTEM_PROCESSOR@"
echo " c compiler : @CMAKE_C_COMPILER_ID@ @CMAKE_C_COMPILER_VERSION@"
echo " flags : @EC_C_FLAGS@"
|
