update-checkout-info: compare physical paths (resolve symlinks)

Without this, symlinks in the parent path can cause erroneous
mismatches.

Thanks to Ralf Hemmecke for reporting the problem and help testing the
fix.

Reported-by: Ralf Hemmecke <ralf@hemmecke.org>
Signed-off-by: Rob Browning <rlb@defaultvalue.org>

diff --git a/dev/update-checkout-info b/dev/update-checkout-info
index 9a54344972e138d92b83fb6fe5c66f8f11da4b16..9fd1a1682b6067535a1aa0e2d9845cb4f695cb5f 100755 (executable)
--- a/dev/update-checkout-info
+++ b/dev/update-checkout-info
@@ -2,7 +2,7 @@
 
 set -euo pipefail
 
-top="$(pwd)"
+top="$(pwd -P)"
 
 usage() { echo 'Usage: update-checkout-info DEST'; }