diff options
| author | Gregory Neil Shapiro <gshapiro@FreeBSD.org> | 2020-07-14 21:40:53 +0000 |
|---|---|---|
| committer | Gregory Neil Shapiro <gshapiro@FreeBSD.org> | 2020-07-14 21:40:53 +0000 |
| commit | cee0d44ab388e12fbd62fdb134d295c58901148a (patch) | |
| tree | fbe464b241337077b941be7126ad3f3f78b19f7f /devtools/bin/Build | |
| parent | 1c3e417caf2d11608f10043b7e70b6e7ed8711ff (diff) | |
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" ] |