blob: 183c0df3bd4137a00d9c116eed15f33488da583e (
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-2017 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
|
