You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I think we should remove everything from those directories that isn’t needed to build. I don’t know how to tell what that is. For sure the Tools/demo directory can go – there’s even a demo of remote execution there! :-)
These demo scripts are not installed by make install.
The remote execution are the rpython.py + rpythond.py scripts:
Activity
gh-97681: Remove Tools/demo/ directory (#97682)
Merge branch 'main' into dictwatch
vstinner commentedon Oct 10, 2022
Fixed by 64fe343