1 // This file was automatically generated on Mon Dec 09 09:47:38 2019 2 // by libs/config/tools/generate.cpp 3 // Copyright John Maddock 2002-4. 4 // Use, modification and distribution are subject to the 5 // Boost Software License, Version 1.0. (See accompanying file 6 // LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) 7 8 // See http://www.boost.org/libs/config for the most recent version.// 9 // Revision $Id$ 10 // 11 12 #ifdef __has_include 13 #if __has_include(<version>) 14 #include <version> 15 #endif 16 #endif 17 18 #include <mutex> 19 20 #ifndef __cpp_lib_scoped_lock 21 #error "Macro << __cpp_lib_scoped_lock is not set" 22 #endif 23 24 #if __cpp_lib_scoped_lock < 201703 25 #error "Macro __cpp_lib_scoped_lock had too low a value" 26 #endif 27 main(int,char * [])28int main( int, char *[] ) 29 { 30 return 0; 31 } 32 33