diff options
Diffstat (limited to 'Makefile.fetch')
| -rw-r--r-- | Makefile.fetch | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.fetch b/Makefile.fetch index b9f500f2f1e7..204c8f89a953 100644 --- a/Makefile.fetch +++ b/Makefile.fetch @@ -195,6 +195,7 @@ $(WORKDIR)/download: $(BUILDDIR)/config_host.mk $(SRCDIR)/download.lst $(SRCDIR) $(call fetch_Optional,REDLAND,RAPTOR_TARBALL) \ $(call fetch_Optional,REDLAND,RASQAL_TARBALL) \ $(call fetch_Optional,REDLAND,REDLAND_TARBALL) \ + $(call fetch_Optional,REVENGE,REVENGE_TARBALL) \ $(call fetch_Optional,RHINO,RHINO_TARBALL) \ $(call fetch_Optional,RHINO,SWING_TARBALL) \ $(call fetch_Optional,SERF,SERF_TARBALL) \ |