/usr/src/gcc-5/debian/patches/libcilkrts-targets.diff is in gcc-5-source 5.3.1-14ubuntu2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 | # DP: Disable libcilkrts on KFreeBSD and the Hurd. See #734973.
Index: b/src/libcilkrts/configure.tgt
===================================================================
--- a/src/libcilkrts/configure.tgt
+++ b/src/libcilkrts/configure.tgt
@@ -44,3 +44,14 @@ esac
# Disable libcilkrts on non POSIX hosted systems.
. ${srcdir}/../config/target-posix
+
+# Disable libcilkrts on KFreeBSD and the Hurd.
+if test x$enable_libcilkrts = x ; then
+ case "${target}" in
+ *-*-linux*)
+ ;;
+ *-*-gnu* | *-*-k*bsd*-gnu)
+ UNSUPPORTED=1
+ ;;
+ esac
+fi
|