Svadev mailing list

[Baozeng <sploving1 AT gmail.com>]

2012/5/26 John Criswell <criswell AT illinois.edu>

On 5/25/12 8:59 AM, Baozeng wrote:

2012/5/25 John Criswell <criswell AT illinois.edu>

On 5/24/12 8:54 PM, Baozeng wrote:

[snip]

Also, use a #warning or #error direction as Alex suggested to verify that _LP64 isn't defined.

I know the reason. There are two files named BBRuntime.h. One is in include/safecode/runtime, the other one is in runtime/include. I changed the SET_MASK both, (see the commit), then it works. I wonder why there are two files BBRuntime.h? Their content is nearly the same,except the included head file. Can we delete one?

Yes.  Please delete the one in include/safecode/runtime.  Make sure the code uses the one in runtime/include when the first one is deleted.

Done. I found that there are also two files named DebugRuntime.h in the above dirs. Are they both necessary?

-- John T.

-- 
     Best Regards,
                                                                 Baozeng Ding
                                                                 OSTG,NFS,ISCAS