-
Klaus Aehlig authored
In this way, with default configuration options, running make install twice in a row succeeds. Fixes issue 567. Signed-off-by: Klaus Aehlig <aehlig@google.com> Reviewed-by: Thomas Thrainer <thomasth@google.com>
61125868
In this way, with default configuration options, running make install twice in a row succeeds. Fixes issue 567. Signed-off-by: Klaus Aehlig <aehlig@google.com> Reviewed-by: Thomas Thrainer <thomasth@google.com>