2017-12-01 19:40:45 +01:00
|
|
|
// 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
|
2019-10-08 05:09:27 +02:00
|
|
|
|
|
|
|
#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
|