From c4da3559760351467f421a234d4240ef6670f396 Mon Sep 17 00:00:00 2001
From: Jakob Odersky <jodersky@gmail.com>
Date: Sun, 26 Jan 2014 16:41:50 +0100
Subject: implement stdio and add mini shell

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 55c4b27..1d20a43 100644
--- a/Makefile
+++ b/Makefile
@@ -95,6 +95,7 @@ monitor:
 cycle:
 	@make clean && \
 	make > /dev/null && \
+	make size && \
 	read -p "Press enter to proceed with upload..." nothing && \
 	make upload
 
-- 
cgit v1.2.3