K 10
svn:author
V 6
amdmi3
K 8
svn:date
V 27
2014-03-07T20:09:55.229153Z
K 7
svn:log
V 104
- Use new OPTIONS features
- After switch to cmake, it should be MAKE_JOBS_SAFE
- Remove unneeded lines

END