mirror of
https://github.com/ZDoom/zdoom-macos-deps.git
synced 2024-11-10 14:41:43 +00:00
aedi: delete install directory before making prefix one
upgrade of dependency cannot use its old header or library files anymore
This commit is contained in:
parent
48651da7ad
commit
f4cea9ce31
1 changed files with 5 additions and 2 deletions
|
@ -120,8 +120,6 @@ class Builder(object):
|
||||||
break
|
break
|
||||||
|
|
||||||
def run(self):
|
def run(self):
|
||||||
self._create_prefix_directory()
|
|
||||||
|
|
||||||
state = self._state
|
state = self._state
|
||||||
target = self._target
|
target = self._target
|
||||||
target.prepare_source(state)
|
target.prepare_source(state)
|
||||||
|
@ -133,6 +131,11 @@ class Builder(object):
|
||||||
|
|
||||||
assert state.install_path
|
assert state.install_path
|
||||||
|
|
||||||
|
if os.path.exists(state.install_path):
|
||||||
|
shutil.rmtree(state.install_path)
|
||||||
|
|
||||||
|
self._create_prefix_directory()
|
||||||
|
|
||||||
if target.multi_platform and not state.xcode:
|
if target.multi_platform and not state.xcode:
|
||||||
self._build_multiple_platforms(target)
|
self._build_multiple_platforms(target)
|
||||||
else:
|
else:
|
||||||
|
|
Loading…
Reference in a new issue