diff options
Diffstat (limited to 'devel/erlang-gpb/files/patch-Makefile')
| -rw-r--r-- | devel/erlang-gpb/files/patch-Makefile | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/devel/erlang-gpb/files/patch-Makefile b/devel/erlang-gpb/files/patch-Makefile deleted file mode 100644 index 1b0ed8e0791a..000000000000 --- a/devel/erlang-gpb/files/patch-Makefile +++ /dev/null @@ -1,10 +0,0 @@ ---- Makefile.orig 2018-02-09 09:35:52 UTC -+++ Makefile -@@ -397,6 +397,6 @@ $(ebin)/gpb.app: $(src)/gpb.app.src | $( - - $(incdir)/gpb_version.hrl: $(incdir)/gpb_version.hrl.in - @echo Generating $@... -- $(silencer)$(build)/mk_version_hrl \ -+ $(silencer)cat \ - < include/gpb_version.hrl.in \ - > include/gpb_version.hrl |