|
|
|
@ -2,6 +2,7 @@ |
|
|
|
|
|
|
|
|
|
import sys |
|
|
|
|
import os |
|
|
|
|
import stat |
|
|
|
|
import subprocess |
|
|
|
|
import zipfile |
|
|
|
|
import getopt |
|
|
|
@ -41,6 +42,9 @@ with zipfile.ZipFile( output_fname, "w" ) as zip_file: |
|
|
|
|
# add the binaries |
|
|
|
|
os.chdir( "out" ) |
|
|
|
|
for fname in os.listdir( "." ): |
|
|
|
|
if os.path.splitext( fname )[1] == ".exe": |
|
|
|
|
flags = os.stat( fname ).st_mode |
|
|
|
|
os.chmod( fname, flags | stat.S_IEXEC ) |
|
|
|
|
zip_file.write( fname ) |
|
|
|
|
os.chdir( ".." ) |
|
|
|
|
# add the license |
|
|
|
|