diff options
Diffstat (limited to 'clean/options-types.hxx')
-rw-r--r-- | clean/options-types.hxx | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/clean/options-types.hxx b/clean/options-types.hxx new file mode 100644 index 0000000..183c0df --- /dev/null +++ b/clean/options-types.hxx @@ -0,0 +1,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 |