'make quickcheck': Assorted improvements.
authorjkummerow@chromium.org <jkummerow@chromium.org@ce2b1a6d-e550-0410-aec6-3dcde31c8c00>
Thu, 5 Dec 2013 12:37:24 +0000 (12:37 +0000)
committerjkummerow@chromium.org <jkummerow@chromium.org@ce2b1a6d-e550-0410-aec6-3dcde31c8c00>
Thu, 5 Dec 2013 12:37:24 +0000 (12:37 +0000)
commitfa4faff9624eabb51f218dc6c38cabad7182d222
tree02046402da31aaaf27f8ba14a98054e172ff2c82
parent34f0b745b82f684fb784e0b8115638bfe10adff9
'make quickcheck': Assorted improvements.

'make ia32' should not build ia32.optdebug.
'make ia32.clean' should delete ia32.optdebug output.
'make quickcheck' should be terminatable by hitting Ctrl+C just once.

R=bmeurer@chromium.org

Review URL: https://codereview.chromium.org/106443002

git-svn-id: http://v8.googlecode.com/svn/branches/bleeding_edge@18259 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
Makefile
tools/run-tests.py
tools/testrunner/local/commands.py