diff options
Diffstat (limited to 'benchmarks/polygraph31/files/patch-workloads-include-Makefile.in')
-rw-r--r-- | benchmarks/polygraph31/files/patch-workloads-include-Makefile.in | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/benchmarks/polygraph31/files/patch-workloads-include-Makefile.in b/benchmarks/polygraph31/files/patch-workloads-include-Makefile.in deleted file mode 100644 index c8b99735e547..000000000000 --- a/benchmarks/polygraph31/files/patch-workloads-include-Makefile.in +++ /dev/null @@ -1,11 +0,0 @@ ---- workloads/include/Makefile.in.orig Thu Sep 13 05:26:52 2007 -+++ workloads/include/Makefile.in Thu Sep 13 05:27:24 2007 -@@ -165,7 +165,7 @@ - std_include = @std_include@ - sysconfdir = @sysconfdir@ - target_alias = @target_alias@ --winclude_pkgdir = ${prefix}/workloads/include -+winclude_pkgdir = ${datadir}/workloads/include - dist_winclude_pkg_DATA = \ - benches.pg \ - contents.pg \ |