scripts

一些辅助脚本，多数为外部 Makefile 调用。