make OPTIONS=ONLY_LOCKFILE has no effect. This problem was reported by Sepideh
Razavi at http://groups.google.com/d/topic/adda-discuss/3SS4Lqsnxcs/discussion
It is caused by a stupid typo in Makefile since r905.
Original issue reported on code.google.com by yurkin on 21 Nov 2013 at 2:42
Original issue reported on code.google.com by
yurkin
on 21 Nov 2013 at 2:42