mirror of
https://github.com/jpd002/Play-.git
synced 2025-04-28 13:47:57 +03:00
Profile mode isn't limited to Win32.
This commit is contained in:
parent
893d8af874
commit
c3e66571ea
1 changed files with 4 additions and 3 deletions
|
@ -62,6 +62,10 @@ if(DEBUGGER_INCLUDED)
|
|||
add_definitions(-DDEBUGGER_INCLUDED)
|
||||
endif()
|
||||
|
||||
if(PROFILE)
|
||||
add_definitions(-DPROFILE)
|
||||
endif()
|
||||
|
||||
add_definitions(-D_IOP_EMULATE_MODULES)
|
||||
add_definitions(-DGLEW_STATIC)
|
||||
|
||||
|
@ -70,9 +74,6 @@ if(WIN32)
|
|||
add_definitions(-D_SCL_SECURE_NO_WARNINGS)
|
||||
add_definitions(-D_LIB)
|
||||
add_definitions(-D_UNICODE -DUNICODE)
|
||||
if(DEFINED PROFILE)
|
||||
add_definitions(-DPROFILE)
|
||||
endif()
|
||||
if(DEFINED VTUNE_ENABLED)
|
||||
add_definitions(-DVTUNE_ENABLED)
|
||||
list(APPEND PROJECT_LIBS libittnotify jitprofiling)
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue