summaryrefslogtreecommitdiff
path: root/java/makedist.py
diff options
context:
space:
mode:
Diffstat (limited to 'java/makedist.py')
-rwxr-xr-xjava/makedist.py10
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"))