tree 2fa7a57adbf4818c30fa2ffeb4262dc335a385b8
parent f46da596498eb185572b4b65ec878337468e9f5c
author derek.bruening <derek.bruening> 1416461388 +0000
committer derek.bruening <derek.bruening> 1416461388 +0000

runsuite feature: adds a variable extra_ctest_args which can be defined to
pass extra args to ctest_test(), such as INCLUDE_LABEL.

git-svn-id: https://dynamorio.googlecode.com/svn/trunk@3007 49cc7528-f6fd-11dd-9d1a-b59b2e1864b6