Correct the build for the ninja generator#7158

dbort merged 1 commit intopytorch:mainpytorch/executorch:mainfrom

ykhrustalev:mainykhrustalev/executorch:mainCopy head branch name to clipboard