diff options
Diffstat (limited to 'java/makedist.py')
-rwxr-xr-x | java/makedist.py | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/java/makedist.py b/java/makedist.py index 8d022a3f2ca..c33a0e54446 100755 --- a/java/makedist.py +++ b/java/makedist.py @@ -110,19 +110,19 @@ for x in slicedirs: if not skipDocs: cwd = os.getcwd() os.chdir(os.path.join("ice", "src", "icecpp")) - os.system("gmake") + os.system("make") os.chdir(cwd) os.chdir(os.path.join("ice", "src", "IceUtil")) - os.system("gmake") + os.system("make") os.chdir(cwd) os.chdir(os.path.join("ice", "src", "Slice")) - os.system("gmake") + os.system("make") os.chdir(cwd) os.chdir(os.path.join("ice", "src", "slice2docbook")) - os.system("gmake") + os.system("make") os.chdir(cwd) os.chdir(os.path.join("ice", "doc")) - os.system("gmake") + os.system("make") os.chdir(cwd) os.mkdir(os.path.join("icej", "doc")) os.rename(os.path.join("ice", "doc", "manual"), os.path.join("icej", "doc", "manual")) |