Loading python/scripts/precompile_python.py +1 −0 Original line number Diff line number Diff line Loading @@ -30,6 +30,7 @@ def process_one_file(name, infile, outzip): # Date was chosen to be the same as # https://cs.android.com/android/platform/superproject/main/+/main:build/soong/jar/jar.go;l=36;drc=2863e4535eb65e15f955dc8ed48fa99b1d2a1db5 info = zipfile.ZipInfo(filename=name, date_time=(2008, 1, 1, 0, 0, 0)) info.compress_type = zipfile.ZIP_DEFLATED if not info.filename.endswith('.py'): outzip.writestr(info, infile.read()) Loading Loading
python/scripts/precompile_python.py +1 −0 Original line number Diff line number Diff line Loading @@ -30,6 +30,7 @@ def process_one_file(name, infile, outzip): # Date was chosen to be the same as # https://cs.android.com/android/platform/superproject/main/+/main:build/soong/jar/jar.go;l=36;drc=2863e4535eb65e15f955dc8ed48fa99b1d2a1db5 info = zipfile.ZipInfo(filename=name, date_time=(2008, 1, 1, 0, 0, 0)) info.compress_type = zipfile.ZIP_DEFLATED if not info.filename.endswith('.py'): outzip.writestr(info, infile.read()) Loading
