Issue #13764: remove outdated script Misc/build.sh
1 file changed