Update qirapin.cpp

This commit is contained in:
Jan Beck 2019-05-28 13:32:58 +00:00 committed by GitHub
parent d5e9fe5867
commit a5fadec67c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

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.
}