diff options
Diffstat (limited to 'devtools/bin/Build')
| -rwxr-xr-x | devtools/bin/Build | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/devtools/bin/Build b/devtools/bin/Build index 4a1604c489f1..5f03a02e10cf 100755 --- a/devtools/bin/Build +++ b/devtools/bin/Build @@ -543,6 +543,8 @@ elif [ -r ${OBJ_ROOT}/obj${prefix}.$rel$sfx ]; then abs_obj_dir=${OBJ_ROOT}/obj${prefix}.$rel$sfx elif [ -r ${OBJ_ROOT}/obj${prefix}.$sfx ]; then abs_obj_dir=${OBJ_ROOT}/obj${prefix}.$sfx +elif [ -r ${OBJ_ROOT}/obj${prefix}$sfx ]; then + abs_obj_dir=${OBJ_ROOT}/obj${prefix}$sfx fi if [ -n "$abs_obj_dir" ] |