commit 2024234c590f408994b373abfb00bc2cd2a90c48
author njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> Mon May 16 23:31:24 2005 +0000
committer njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> Mon May 16 23:31:24 2005 +0000
tree 620735b060d1e95b1702040b5766f6baebd58c2c
parent bb422230f51d2cc43ac88b7cca711cb00b95eb3f

Added module m_options for holding all the command-line option stuff.
Perhaps parts of process_cmd_line_option() should go in here, but I've
not done that for now.



git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3751 a5019735-40e9-0310-863c-91ae7b9d1cf9

coregrind/m_execontext.c

diff --git a/coregrind/m_execontext.c b/coregrind/m_execontext.c
index 59ea65c..b27ec7d 100644
--- a/coregrind/m_execontext.c
+++ b/coregrind/m_execontext.c
@@ -30,6 +30,7 @@
 
 #include "core.h"
 #include "pub_core_execontext.h"
+#include "pub_core_options.h"
 
 /*------------------------------------------------------------*/
 /*--- Low-level ExeContext storage.                        ---*/