-
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>