blob: 2b368da6431a4371b97da4cee9e36dee6e4db427 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
# DP: Traditional GNU systems don't have a /usr directory. However, Debian
# DP: systems do, and we support both having a /usr -> . symlink, and having a
# DP: /usr directory like the other ports. So this patch should NOT go
# DP: upstream.
---
config.gcc | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
--- a/src/gcc/config.gcc (révision 182461)
+++ b/src/gcc/config.gcc (copie de travail)
@@ -583,7 +583,7 @@
*-*-linux* | frv-*-*linux* | *-*-kfreebsd*-gnu | *-*-knetbsd*-gnu | *-*-kopensolaris*-gnu)
:;;
*-*-gnu*)
- native_system_header_dir=/include
+ # native_system_header_dir=/include
;;
esac
# glibc / uclibc / bionic switch.
|
