| 12345678910111213141516171819 | //  Copyright (c) 2017-present, Facebook, Inc.  All rights reserved.//  This source code is licensed under both the GPLv2 (found in the//  COPYING file in the root directory) and Apache 2.0 License//  (found in the LICENSE.Apache file in the root directory).#include <gflags/gflags.h>#ifndef GFLAGS_NAMESPACE// in case it's not defined in old versions, that's probably because it was// still google by default.#define GFLAGS_NAMESPACE google#endif#ifndef DEFINE_uint32// DEFINE_uint32 does not appear in older versions of gflags. This should be// a sane definition for those versions.#define DEFINE_uint32(name, val, txt) \  DEFINE_VARIABLE(GFLAGS_NAMESPACE::uint32, U, name, val, txt)#endif
 |