Merge pull request #65208 from ClickHouse/sync-profile-events

Sync ProfileEvents.h
This commit is contained in:
Kseniia Sumarokova 2024-06-13 15:46:52 +00:00 committed by GitHub
commit 9551f3b98a
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 3 additions and 1 deletions

View File

@ -40,6 +40,7 @@ namespace ProfileEvents
Timer(Counters & counters_, Event timer_event_, Event counter_event, Resolution resolution_);
~Timer() { end(); }
void cancel() { watch.reset(); }
void restart() { watch.restart(); }
void end();
UInt64 get();

View File

@ -65,6 +65,7 @@ EXTERN_TYPES_EXCLUDES=(
ProfileEvents::increment
ProfileEvents::incrementForLogMessage
ProfileEvents::getName
ProfileEvents::Timer
ProfileEvents::Type
ProfileEvents::TypeEnum
ProfileEvents::dumpToMapColumn
@ -242,7 +243,7 @@ done
# All submodules should be from https://github.com/
git config --file "$ROOT_PATH/.gitmodules" --get-regexp 'submodule\..+\.url' | \
while read -r line; do
while read -r line; do
name=${line#submodule.}; name=${name%.url*}
url=${line#* }
[[ "$url" != 'https://github.com/'* ]] && echo "All submodules should be from https://github.com/, submodule '$name' has '$url'"