diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2019-04-05 21:17:31 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2019-04-05 21:17:31 +0100 |
| commit | dc7cbdfa65fd814b3b9aa3c56257da201109e807 (patch) | |
| tree | c85d72f6f31f21f178069c9d41d41a7c1ff4b362 /x11-wm/i3/files | |
| parent | 0706fc6986773f4e4d391deff4ad5143c464ea4e (diff) | |
gentoo resync : 05.04.2019
Diffstat (limited to 'x11-wm/i3/files')
| -rw-r--r-- | x11-wm/i3/files/i3-4.13-remove-git-polling.patch | 19 |
1 files changed, 0 insertions, 19 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 deleted file mode 100644 index ca226378ed7f..000000000000 --- a/x11-wm/i3/files/i3-4.13-remove-git-polling.patch +++ /dev/null @@ -1,19 +0,0 @@ -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: |