Revision ca2843dc
ID | ca2843dcf64fc63206bd7f67e990b19559a49db4 |
Parent | e97f211e |
Child | 66dac8e0 |
makefile: regenerate version when it changes
If we're building on a different version, the version file needs to be
regenerated.
Signed-off-by: Guido Trotter <ultrotter@google.com>
Reviewed-by: Michael Hanselmann <hansmi@google.com>
Files
- added
- modified
- copied
- renamed
- deleted