/srv/scratch/qy03fugy/dosek/toolchain/linker --llvm-dir /proj/i4danceos/tools/llvm-3.4   -lgcc  -m32 -Qunused-arguments --linker-prefix=/srv/scratch/qy03fugy/dosek/build-posix/app/benchmark/copermock/bench-coptermock CMakeFiles/bench-coptermock.dir/bench-coptermock/dosek.cc.o bench-coptermock/source_system.ll -rdynamic ../../../os/libos.a ../../../arch/posix/libarch.a ../../../arch/generic/libgeneric.a  -o ../../../bench-coptermock 
