[ 0:00] + cat
[ 0:00] + cmake -DCMAKE_C_COMPILER=divcc -DCMAKE_CXX_COMPILER=divcc
[ 0:00] CMake Warning:
[ 0:00]   No source or binary directory provided.  Both will be assumed to be the
[ 0:00]   same as the current working directory, but note that this warning will
[ 0:00]   become a fatal error in future CMake releases.
[ 0:00] 
[ 0:00] 
[ 0:00] -- The C compiler identification is Clang 7.0.0
[ 0:00] -- The CXX compiler identification is Clang 7.0.0
[ 0:00] -- Check for working C compiler: /var/obj/divine-nightly/semidbg/tools/divcc
[ 0:00] -- Check for working C compiler: /var/obj/divine-nightly/semidbg/tools/divcc -- works
[ 0:01] -- Detecting C compiler ABI info
[ 0:01] -- Detecting C compiler ABI info - done
[ 0:01] -- Detecting C compile features
[ 0:01] -- Detecting C compile features - done
[ 0:02] -- Check for working CXX compiler: /var/obj/divine-nightly/semidbg/tools/divcc
[ 0:02] -- Check for working CXX compiler: /var/obj/divine-nightly/semidbg/tools/divcc -- works
[ 0:03] -- Detecting CXX compiler ABI info
[ 0:03] -- Detecting CXX compiler ABI info - done
[ 0:03] -- Detecting CXX compile features
[ 0:03] -- Detecting CXX compile features - done
[ 0:05] -- Looking for pthread.h
[ 0:05] -- Looking for pthread.h - found
[ 0:05] -- Looking for pthread_create
[ 0:05] -- Looking for pthread_create - not found
[ 0:06] -- Looking for pthread_create in pthreads
[ 0:06] -- Looking for pthread_create in pthreads - not found
[ 0:06] -- Looking for pthread_create in pthread
[ 0:06] -- Looking for pthread_create in pthread - found
[ 0:06] -- Found Threads: TRUE  
[ 0:06] -- Configuring done
[ 0:06] -- Generating done
[ 0:06] -- Build files have been written to: /var/obj/divine-nightly/semidbg/test/__test_work_dir.3
[ 0:06] + check debris
[ 0:06] + test -e warning