Merge remote-tracking branch 'upstream/master'

This commit is contained in:
Roberto Di Remigio
2016-11-16 11:44:11 +01:00
94 changed files with 1719 additions and 1402 deletions

View File

@ -65,6 +65,6 @@ function(generate_git_info_header _header_location _header_name)
add_custom_target(
git_info
ALL DEPENDS ${_header_location}/${_header_name}
ALL DEPENDS ${PROJECT_BINARY_DIR}/git_info.h
)
endfunction()