[MD settings] using number types for radio button values
[chromium-blink-merge.git] / testing / coverage_util_ios.cc
blob15ac1b4a0a89a99b700d6c2e24624db753805602
1 // Copyright 2014 The Chromium Authors. All rights reserved.
2 // Use of this source code is governed by a BSD-style license that can be
3 // found in the LICENSE file.
5 extern "C" void __gcov_flush();
7 namespace coverage_util {
9 void FlushCoverageDataIfNecessary() {
10 #if defined(ENABLE_TEST_CODE_COVERAGE)
11 __gcov_flush();
12 #endif
15 } // namespace coverage_util