diff options
author | Akihiko Odaki <akihiko.odaki@daynix.com> | 2024-11-11 16:19:41 +0900 |
---|---|---|
committer | Paolo Bonzini <pbonzini@redhat.com> | 2024-11-18 13:44:54 +0100 |
commit | ebcf886d88e0fcae322d063b28846d20b23b5321 (patch) | |
tree | b3f8bb2ac38f3ba2a6a29f3a707a910cef232056 /configure | |
parent | 6607b77b94c353fbe21888d216fa97df9b859f15 (diff) |
configure: Use -ef to compare paths
configure checks if it is executed in the source directory by comparing
the literal paths, but there may be multiple representations of a
directory due to symbolic links. Use the -ef operator to tell if they
point to the same directory.
Signed-off-by: Akihiko Odaki <akihiko.odaki@daynix.com>
Link: https://lore.kernel.org/r/20241111-p-v1-1-001006c68b7e@daynix.com
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -13,7 +13,7 @@ export CCACHE_RECACHE=yes # make source path absolute source_path=$(cd "$(dirname -- "$0")"; pwd) -if test "$PWD" = "$source_path" +if test "$PWD" -ef "$source_path" then echo "Using './build' as the directory for build output" |