# This variable definition has been put here, because it is used by
# toplevel Makefile as well as Makefile in tools/

TOOLS = wasm_compile VGAdump2ppm bin2hex