1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index d59ca1d60..e1b8bac16 100644
--- a/Makefile
+++ b/Makefile
@@ -16,6 +16,7 @@ OBJS += libs/sha1/sha1.o
 OBJS += libs/subcircuit/subcircuit.o
 
 GENFILES =
+EXTRA_TARGETS =
 TARGETS = yosys yosys-config
 
 all: top-all
@@ -60,7 +61,7 @@ include passes/*/Makefile.inc
 include backends/*/Makefile.inc
 include techlibs/Makefile.inc
 
-top-all: $(TARGETS)
+top-all: $(TARGETS) $(EXTRA_TARGETS)
 
 yosys: $(OBJS)
 	$(CXX) -o yosys $(LDFLAGS) $(OBJS) $(LDLIBS)