Update qirapin.cpp

This commit is contained in:
Jan Beck 2019-05-28 13:29:29 +00:00 committed by GitHub
parent acc9fc52a1
commit d5e9fe5867
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -442,7 +442,7 @@ public:
#ifndef TARGET_WINDOWS
void fork_before(THREADID tid) {
PIN_GetLock(&lock, 0);
//sync(); // commented out to be compatible with later PIN versions. Seems to work...
//sync();// commented out to be compatible with later PIN versions. Seems to work...
// TODO: Close all files, reopen later
// I think this is only required for the current tid's data structure.
}