diff options
author | StormBytePP <stormbyte@gmail.com> | 2015-08-16 16:56:11 +0200 |
---|---|---|
committer | Shauren <shauren.trinity@gmail.com> | 2015-08-16 17:50:40 +0200 |
commit | 6a9fc63e412adf7074c2850320cddf007edc3b28 (patch) | |
tree | 1fd539b128874dba459afe5f42ab94b84bab5073 /src/server/shared/PrecompiledHeaders/sharedPCH.h | |
parent | b9106ee000f3c4955324739117eba86b8e538a3c (diff) |
Core/Build: Removed obsolete SystemConfig.h and made genrev be part of shared library, which allows cache hits to happen more likely
(cherry picked from commit 94f69fb1bcef103392ca27074ebb31ef2ebd27fb)
Diffstat (limited to 'src/server/shared/PrecompiledHeaders/sharedPCH.h')
-rw-r--r-- | src/server/shared/PrecompiledHeaders/sharedPCH.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/server/shared/PrecompiledHeaders/sharedPCH.h b/src/server/shared/PrecompiledHeaders/sharedPCH.h index d99476bc7a8..f4c18f89ec1 100644 --- a/src/server/shared/PrecompiledHeaders/sharedPCH.h +++ b/src/server/shared/PrecompiledHeaders/sharedPCH.h @@ -8,3 +8,4 @@ #include "TypeList.h" #include "TaskScheduler.h" #include "EventMap.h" +#include "Revision.h" |