diff options
Diffstat (limited to 'debian/patches/hurd-changes.diff')
| -rw-r--r-- | debian/patches/hurd-changes.diff | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/debian/patches/hurd-changes.diff b/debian/patches/hurd-changes.diff new file mode 100644 index 0000000..ca4d820 --- /dev/null +++ b/debian/patches/hurd-changes.diff @@ -0,0 +1,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 ++++ b/src/gcc/config.gcc +@@ -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. |