Feature/python build #25

Merged
shenjackyuanjie merged 28 commits from feature/python_build into main 2023-06-10 19:02:01 +08:00
Showing only changes of commit 9cc98d3500 - Show all commits

View File

@ -22,6 +22,10 @@ if __name__ == '__main__':
sys.argv.remove('--output') sys.argv.remove('--output')
sys.argv.remove(compiler.output_path) sys.argv.remove(compiler.output_path)
# 检测 --github 参数
if '--github' in sys.argv:
compiler.use_ccache = False
print(compiler.output_path) print(compiler.output_path)
print(compiler) print(compiler)