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
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
|
Author: Juhani Numminen <juhaninumminen0@gmail.com>
Last-Updated: Fri, 15 Jan 2021 11:00:36 +0200
Description: Set sysid=gnu4 on Debian, don't do gcc version grepping
Bug-Debian: https://bugs.debian.org/957471
--- a/etc/platform.sh
+++ b/etc/platform.sh
@@ -66,33 +66,18 @@
# Check if it is a Linux platform
Linux)
-# Check if it is GCC version 4.x
- gcc_ver=`gcc --version | grep -e " 4\."`
- if [[ -z $gcc_ver ]]
- then
-# It is not GCC version 4.x. Check if it is GCC version 3.x
- gcc_ver=`gcc --version | grep -e " 3\."`
- if [[ -z $gcc_ver ]]
- then
-# It is not GCC version 3.x. Check if it is GCC version 2.x
- gcc_ver=`gcc --version | grep -e "2\."`
- if [[ -z $gcc_ver ]]
- then
-# It is not GCC version 2.x either. Production can not be compiled.
- sysid="unknown"
- else
-# It is GCC version 2.x
- sysid="gnu2"
- fi
- else
-# It is GCC version 3.x
- sysid="gnu3"
- fi
- else
-# It is GCC version 4.x
- sysid="gnu4"
- fi
- ;;
+ sysid="gnu4"
+ ;;
+
+# Debian GNU/kFreeBSD
+ GNU/kFreeBSD)
+ sysid="gnu4"
+ ;;
+
+# Debian GNU/Hurd
+ GNU)
+ sysid="gnu4"
+ ;;
SunOS)
sysid="sunos5"
|
