Svadev mailing list

[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.

-- John T.