mirror of
https://github.com/facebook/proxygen.git
synced 2025-08-08 18:02:05 +03:00
getdeps: use c:/open/scratch if available on windows
Summary: Ideally we'd be using mkscratch, but this still isn't shipped to our Windows systems. Pick a path that is more friendly to our corp windows environment by default. Reviewed By: pkaush Differential Revision: D20342277 fbshipit-source-id: c85bccee6701adc03b26c92ba217b18bd684257a
This commit is contained in:
committed by
Facebook Github Bot
parent
9592e383f0
commit
2b54f9ae0f
@@ -376,9 +376,13 @@ def setup_build_options(args, host_type=None):
|
|||||||
munged = fbcode_builder_dir.replace("Z", "zZ")
|
munged = fbcode_builder_dir.replace("Z", "zZ")
|
||||||
for s in ["/", "\\", ":"]:
|
for s in ["/", "\\", ":"]:
|
||||||
munged = munged.replace(s, "Z")
|
munged = munged.replace(s, "Z")
|
||||||
scratch_dir = os.path.join(
|
|
||||||
tempfile.gettempdir(), "fbcode_builder_getdeps-%s" % munged
|
if is_windows() and os.path.isdir("c:/open"):
|
||||||
)
|
temp = "c:/open/scratch"
|
||||||
|
else:
|
||||||
|
temp = tempfile.gettempdir()
|
||||||
|
|
||||||
|
scratch_dir = os.path.join(temp, "fbcode_builder_getdeps-%s" % munged)
|
||||||
|
|
||||||
if not os.path.exists(scratch_dir):
|
if not os.path.exists(scratch_dir):
|
||||||
os.makedirs(scratch_dir)
|
os.makedirs(scratch_dir)
|
||||||
|
Reference in New Issue
Block a user