0 0 0 Python

Rename cmake option "EXECUTORCH_BUILD_SDK" to "EXECUTORCH_BUILD_DEVTOOLS" (#5272)

Summary:
Pull Request resolved: https://github.com/pytorch/executorch/pull/5272

Part of the bigger sdk -> devtools rename task. This diff renames the cmake build option for the executorch/devtools dir from "EXECUTORCH_BUILD_SDK" to "EXECUTORCH_BUILD_DEVTOOLS". It's purely a string replacement.

Reviewed By: dbort

Differential Revision: D62479584

fbshipit-source-id: e46d2219d43342fa93a79088e167b3ba77602474

Olivia Liu committed 1y ago

b9ae0ec1a7de2e578475dca22cce96f1d998403b

Parent: 53c49fb

Committed by Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> on 9/12/2024, 9:47:40 PM