0
0
mirror of https://github.com/mongodb/mongo.git synced 2024-12-01 01:21:03 +01:00

minor: fix --full

This commit is contained in:
Mike Dirolf 2010-07-26 17:09:02 -04:00
parent d3d978a601
commit b9cbee6a54

View File

@ -245,7 +245,7 @@ AddOption("--sharedclient",
AddOption("--full",
dest="full",
action="store",
action="store_true",
help="include client and headers when doing scons install")
AddOption("--smokedbprefix",