diff options
Diffstat (limited to 'main/linux-grsec/ccache.patch')
| -rw-r--r-- | main/linux-grsec/ccache.patch | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/main/linux-grsec/ccache.patch b/main/linux-grsec/ccache.patch new file mode 100644 index 0000000000..b6c7090b74 --- /dev/null +++ b/main/linux-grsec/ccache.patch @@ -0,0 +1,10 @@ +--- ./scripts/gcc-plugin.sh.orig 2014-04-02 11:25:17.447803082 +0000 ++++ ./scripts/gcc-plugin.sh 2014-04-02 11:25:35.211351328 +0000 +@@ -1,6 +1,6 @@ + #!/bin/bash + srctree=$(dirname "$0") +-gccplugins_dir=$("$3" -print-file-name=plugin) ++gccplugins_dir=$($3 -print-file-name=plugin) + plugincc=$("$1" -E -shared - -o /dev/null -I${srctree}/../tools/gcc -I${gccplugins_dir}/include 2>&1 <<EOF + #include "gcc-common.h" + #if BUILDING_GCC_VERSION >= 4008 || defined(ENABLE_BUILD_WITH_CXX) |