log Makefile @ 805:3eced113081c

age author description
Sun, 26 Jul 2015 18:29:14 -0700 Michael Pavone Pre-release cleanup
Sun, 26 Jul 2015 16:51:03 -0700 Michael Pavone Merge
Sun, 26 Jul 2015 16:48:25 -0700 Michael Pavone Old changes for GDB remote debugging on Windows I forgot to commit
Sun, 26 Jul 2015 13:25:31 -0700 Michael Pavone Merge
Sun, 26 Jul 2015 10:59:41 -0700 =?UTF-8?q?Higor=20Eur=C3=ADpedes?= Fix mingw-w64 build and cross-compilation
Sun, 26 Jul 2015 01:11:04 -0700 Michael Pavone Spawn a terminal for the debugger when needed if we are not already attached to one
Tue, 21 Jul 2015 00:52:21 -0700 Michael Pavone Fix stateview build and fix Makefile to use /bin/echo since builtin echo does not always support -e