diff options
Diffstat (limited to 'scripts/IceStormUtil.py')
| -rw-r--r-- | scripts/IceStormUtil.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/IceStormUtil.py b/scripts/IceStormUtil.py index 66750151e1b..7d397259858 100644 --- a/scripts/IceStormUtil.py +++ b/scripts/IceStormUtil.py @@ -22,6 +22,9 @@ class IceStorm(ProcessFromBinDir, Server): self.desc = self.instanceName if self.nreplicas == 0 else "{0} replica #{1}".format(self.instanceName, self.replica) + def getExe(self, current): + return self.exe + "_32" if current.config.buildPlatform == "ppc" else self.exe + def setup(self, current): # Create the database directory if self.createDb: |