mirrors/mongodb
mirrors/mongodb
0
0
Fork 0
mirror of https://github.com/mongodb/mongo.git synced 2024-11-30 17:10:48 +01:00
Code Issues Releases Activity

SERVER-11084 Error when mixing --gcov and --cache

Browse Source
This commit is contained in:
Mathias Stearn 2013-10-08 15:40:13 -04:00
parent 061a086641
commit 62d754f991
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
SConstruct
View File

@ -479,6 +479,9 @@ if has_option("cache"):
if has_option("release"):
print("Using the experimental --cache option is not permitted for --release builds")
Exit(1)
if has_option("gcov"):
print("Mixing --cache and --gcov doesn't work correctly yet. See SERVER-11084")
Exit(1)
env.CacheDir(str(env.Dir(get_option('cache-dir'))))
# This could be 'if solaris', but unfortuantely that variable hasn't been set yet.