diff --git a/dune/codegen/common/tsc.cc b/dune/codegen/common/tsc.cc index b1e8c10a37ccbf8b40062518cf1641819a58e0c3..b0c7e68272429560c90b35be3f2acffc12aa2b5c 100644 --- a/dune/codegen/common/tsc.cc +++ b/dune/codegen/common/tsc.cc @@ -96,8 +96,8 @@ namespace Dune { if (waitpid(pid,&status,0) < 0) DUNE_THROW(TSCError,"Failed to clean up dmesg child process"); - if (WEXITSTATUS(status) != 0) - DUNE_THROW(TSCError,"Child process failed with return status " << WEXITSTATUS(status)); + // if (WEXITSTATUS(status) != 0) + // DUNE_THROW(TSCError,"Child process failed with return status " << WEXITSTATUS(status)); if (result < 0) DUNE_THROW(TSCNotInKernelLog,"Could not find TSC frequency information in kernel log");