| commit | 20c9ae1db4c2e2dab7d512b72970291bc1be74c0 | [log] [tgz] |
|---|---|---|
| author | Dimitry Ivanov <dimitry@google.com> | Mon May 09 18:12:00 2016 -0700 |
| committer | Dimitry Ivanov <dimitry@google.com> | Mon May 09 18:12:00 2016 -0700 |
| tree | a6473b1fd9f078db48c0dbc808a80e3a2652f417 | |
| parent | 01b99b74e38417abc45c77d4ccc876cde9444d2e [diff] |
Check if public namespace has already been initialized There is no point in reading/loading the list of public libraries once public namespace is already initialized. Change-Id: I5a53c46bb57b8de241ba521a6321c12e94a76476