From 5ed2dafa6910e211cae1d83d364d5c24d3b21b4c Mon Sep 17 00:00:00 2001
From: Wojciech Kosior <kwojtus@protonmail.com>
Date: Thu, 24 Dec 2020 13:03:25 +0100
Subject: add example, that measures time and prints it to screen

---
 Makefile.util | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'Makefile.util')

diff --git a/Makefile.util b/Makefile.util
index 4abddca..88939b1 100644
--- a/Makefile.util
+++ b/Makefile.util
@@ -67,4 +67,7 @@ FIND_GENERATED_FILES = \
 	$(call FIND_GENERATED_MEM_FILES,$(1)) \
 	$(call FIND_GENERATED_WASM_FILES,$(1))
 
+VGAdump.ppm : $(PROJ_DIR)/tools/VGAdump2ppm VGAdump.mem
+	grep -v // < VGAdump.mem | $< > $@
+
 .PHONY : prog
-- 
cgit v1.2.3