--- a/make/common/FindTests.gmk	Fri Nov 16 13:23:50 2018 -0500
+++ b/make/common/FindTests.gmk	Fri Nov 16 23:39:51 2018 +0100
@@ -72,6 +72,9 @@
 # Add Gtest
 ALL_NAMED_TESTS += gtest
 
+# Add microbenchmarks
+ALL_NAMED_TESTS += micro
+
 # Find make test targets
 MAKE_TEST_TARGETS := $(shell $(MAKE) -s --no-print-directory $(MAKE_ARGS) \
     SPEC=$(SPEC) -f $(TOPDIR)/test/make/TestMake.gmk print-targets)