aboutsummaryrefslogtreecommitdiff
path: root/tools/Makefile.tools
diff options
context:
space:
mode:
Diffstat (limited to 'tools/Makefile.tools')
-rw-r--r--tools/Makefile.tools2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/Makefile.tools b/tools/Makefile.tools
index 5fc2b6c..19b265c 100644
--- a/tools/Makefile.tools
+++ b/tools/Makefile.tools
@@ -1,4 +1,4 @@
# This variable definition has been put here, because it is used by
# toplevel Makefile as well as Makefile in tools/
-TOOLS = wasm_compile VGAdump2ppm
+TOOLS = wasm_compile VGAdump2ppm bin2hex