aboutsummaryrefslogtreecommitdiff
path: root/clean/options-types.hxx
diff options
context:
space:
mode:
Diffstat (limited to 'clean/options-types.hxx')
-rw-r--r--clean/options-types.hxx18
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