| commit | 80ddb8f5517b4632307705858c3402081583a456 | [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 | 179fea40bb1ed2da183f3a2a6398d1c68b9f6f32 [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