File tree Expand file tree Collapse file tree 1 file changed +1
-1
lines changed Expand file tree Collapse file tree 1 file changed +1
-1
lines changed Original file line number Diff line number Diff line change @@ -21,7 +21,7 @@ if { [llength [glob -nocomplain -types d $dest_dir/*]] != 0 } {
2121 # If the workspace is already set to the destination directory
2222 if { [file normalize [getws]] == [file normalize $dest_dir ] } {
2323 # Check if the workspace is empty, which it will be if Vitis is launched in an empty directory
24- if { [catch {app list} ] == 0 || [catch {platform list} ] == 0 || [catch {domain list} ] == 0 || [catch {library list} ] == 0 } {
24+ if { [catch {app list} ] == 0 || ( [catch {platform list} ] == 0 && [ catch {platform list}] == " " ) || [catch {domain list} ] == 0 || [catch {library list} ] == 0 } {
2525 puts " WARNING: workspace is not empty. Close Vitis or XSCT to relinquish control and run the cleanup scripts. Re-run checkout.tcl afterwards."
2626 flush stdout;
2727 return -code error " Workspace already exists and needs to be closed first"
You can’t perform that action at this time.
0 commit comments