diff options
| author |   tharvik <tharvik@users.noreply.github.com> | 2017-01-13 13:49:35 +0100 |
|---|---|---|
| committer |   Michał Górny <mgorny@gentoo.org> | 2017-05-08 22:01:00 +0200 |
| commit | cacee360e28112a11456d7fd70b964f3016fb26f (patch) | |
| tree | 8bab05262352aaa1c26131a0b55b6f2e925fc07d /x11-wm/i3/files/i3-4.13-remove-git-polling.patch | |
| parent | dev-ruby/metasm: revert accidental dropping of slot (diff) | |
| download | gentoo-cacee360e28112a11456d7fd70b964f3016fb26f.tar.gz gentoo-cacee360e28112a11456d7fd70b964f3016fb26f.tar.bz2 gentoo-cacee360e28112a11456d7fd70b964f3016fb26f.zip | |
x11-wm/i3: remove git polling
Closes: https://github.com/gentoo/gentoo/pull/3450
Package-Manager: portage-2.3.0
Diffstat (limited to 'x11-wm/i3/files/i3-4.13-remove-git-polling.patch')
| -rw-r--r-- | x11-wm/i3/files/i3-4.13-remove-git-polling.patch | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/x11-wm/i3/files/i3-4.13-remove-git-polling.patch b/x11-wm/i3/files/i3-4.13-remove-git-polling.patch new file mode 100644 index 000000000000..ca226378ed7f --- /dev/null +++ b/x11-wm/i3/files/i3-4.13-remove-git-polling.patch @@ -0,0 +1,19 @@ +diff -Naur a/configure.ac b/configure.ac +--- a/configure.ac 2017-01-13 13:31:25.250216293 +0100 ++++ b/configure.ac 2017-01-13 13:31:55.930217956 +0100 +@@ -146,15 +146,6 @@ + print_BUILD_MANS=no + fi + +-git_dir=`git rev-parse --git-dir 2>/dev/null` +-if test -n "$git_dir"; then +- srcdir=`dirname "$git_dir"` +- exclude_dir=`pwd | sed "s,^$srcdir,,g"` +- if ! grep -q "^$exclude_dir" "$git_dir/info/exclude"; then +- echo "$exclude_dir" >> "$git_dir/info/exclude" +- fi +-fi +- + echo \ + "-------------------------------------------------------------------------------- + build configured: |