blob: 7190396a97137934c55d94b80353ea037ff1c5b4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
// file : clean/options-types.hxx -*- C++ -*-
// copyright : Copyright (c) 2014-2018 Code Synthesis Ltd
// license : MIT; see accompanying LICENSE file
#ifndef CLEAN_OPTIONS_TYPES_HXX
#define CLEAN_OPTIONS_TYPES_HXX
#include <map>
#include <libbrep/types.hxx>
#include <libbrep/utility.hxx>
namespace brep
{
struct toolchain_timeouts: std::map<string, timestamp> {};
}
#endif // CLEAN_OPTIONS_TYPES_HXX
|