Fix configure.py

pull/1631/head
Piero Toffanin 2023-03-21 12:43:28 -04:00
rodzic 02e4851230
commit 1d4827dd32
1 zmienionych plików z 1 dodań i 1 usunięć

Wyświetl plik

@ -135,7 +135,7 @@ def clean():
safe_remove(os.path.join("SuperBuild", "install"))
def dist():
if not os.path.exists("SuperBuild\\download"):
if not os.path.exists("SuperBuild\\install"):
print("You need to run configure.py build before you can run dist")
exit(1)