diff options
author | Andres Amaya Garcia <andres.amayagarcia@arm.com> | 2018-10-16 22:13:57 +0100 |
---|---|---|
committer | Andres Amaya Garcia <andres.amayagarcia@arm.com> | 2019-02-07 10:32:31 +0000 |
commit | e144b4130c1cf80ac076f0b6143d1734a0a9ba7b (patch) | |
tree | e81ab802fd0bb56cc1bf316dd1c6422dc1cb5bd0 /scripts | |
parent | f1a5b26233f1aa78f3bf5f480a40684be1596c4e (diff) |
Add gen_query_config.pl to check-gen-files and bump_version
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/bump_version.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/bump_version.sh b/scripts/bump_version.sh index fc8b800c..c39a86a5 100755 --- a/scripts/bump_version.sh +++ b/scripts/bump_version.sh @@ -132,6 +132,9 @@ done [ $VERBOSE ] && echo "Re-generating library/error.c" scripts/generate_errors.pl +[ $VERBOSE ] && echo "Re-generating programs/ssl/query_config.c" +scripts/generate_query_config.pl + [ $VERBOSE ] && echo "Re-generating library/version_features.c" scripts/generate_features.pl |