opencog/opencog — pull request #168 by linas (2013-05-09 17:46:25+00:00)
Title: Avoid confusion about the build type.

Its not always what you think it is :-)