diff options
author | Vadim Girlin <[email protected]> | 2012-08-24 11:16:14 +0400 |
---|---|---|
committer | Vadim Girlin <[email protected]> | 2012-08-24 11:16:14 +0400 |
commit | e84d45fdb73687019a6798cfb37b01291b212f4d (patch) | |
tree | a89c651276970f2814ca52b96ce08b4276566556 /include/KHR | |
parent | 1434a86f50e4ffc69316c7e948ebfe56a25d31da (diff) |
build: don't leave git_sha1.h.tmp after build/install
Fixes "`main/git_sha1.h.tmp': Permission denied" build error.
See https://bugs.freedesktop.org/show_bug.cgi?id=52064
Signed-off-by: Vadim Girlin <[email protected]>
Reviewed-by: Eric Anholt <[email protected]>
Diffstat (limited to 'include/KHR')
0 files changed, 0 insertions, 0 deletions