Source-Changes archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

CVS commit: src



Module Name:    src
Committed By:   agc
Date:           Wed Dec 20 22:03:20 UTC 2006

Modified Files:
        src/sys/sys: verified_exec.h
        src/tools/veriexecgen: Makefile
Added Files:
        src/tools/compat/sys: verified_exec.h

Log Message:
Fixes to allow veriexecgen to be built as a host tool.


To generate a diff of this commit:
cvs rdiff -r1.45 -r1.46 src/sys/sys/verified_exec.h
cvs rdiff -r0 -r1.1 src/tools/compat/sys/verified_exec.h
cvs rdiff -r1.1 -r1.2 src/tools/veriexecgen/Makefile

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.




Home | Main Index | Thread Index | Old Index