diff options
Diffstat (limited to 'configure.patch')
| -rw-r--r-- | configure.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/configure.patch b/configure.patch new file mode 100644 index 000000000000..a44198cd4701 --- /dev/null +++ b/configure.patch @@ -0,0 +1,12 @@ +--- configure 2016-05-20 13:52:14.854090960 +0200 ++++ configure.new 2016-05-20 13:52:08.764190358 +0200 +@@ -226,9 +226,6 @@ + set success 0 + } else { + puts $opt(tk_h) +- if {$opt(tk_h) == "/usr/include"} { +- set var(BASH_ENV) CPLUS_INCLUDE_PATH=/usr/include:/usr/local/include +- } + } + } + |