diff options
| author | Jakob Odersky <jodersky@gmail.com> | 2014-01-26 16:41:50 +0100 |
|---|---|---|
| committer | Jakob Odersky <jodersky@gmail.com> | 2014-01-26 16:41:50 +0100 |
| commit | c4da3559760351467f421a234d4240ef6670f396 (patch) | |
| tree | d19f2fbb3891744f9741d044a65cf220221bc4a8 /Makefile | |
| parent | 7dd00b2267d991a102f18eacf3e2afacb570a299 (diff) | |
| download | mux-c4da3559760351467f421a234d4240ef6670f396.tar.gz mux-c4da3559760351467f421a234d4240ef6670f396.tar.bz2 mux-c4da3559760351467f421a234d4240ef6670f396.zip | |
implement stdio and add mini shell
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -95,6 +95,7 @@ monitor: cycle: @make clean && \ make > /dev/null && \ + make size && \ read -p "Press enter to proceed with upload..." nothing && \ make upload |