diff options
Diffstat (limited to 'php/makedist.py')
| -rwxr-xr-x | php/makedist.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/php/makedist.py b/php/makedist.py index 74443c6d109..82e85a9ac29 100755 --- a/php/makedist.py +++ b/php/makedist.py @@ -95,7 +95,8 @@ version = re.search("ICEPHP_STRING_VERSION \"([0-9\.]*)\"", config.read()).group # icephpver = "IcePHP-" + version os.rename("icephp", icephpver) -os.system("tar cvzf " + icephpver + ".tar.gz " + icephpver) +os.system("tar cvf " + icephpver + ".tar " + icephpver) +os.system("gzip -9 " + icephpver + ".tar") os.system("zip -9r " + icephpver + ".zip " + icephpver) # |