diff --git a/scripts/list-source-files b/scripts/list-source-files index 4a2eed863..21320d197 100755 --- a/scripts/list-source-files +++ b/scripts/list-source-files @@ -1,12 +1,18 @@ #!/bin/bash +inode() { + ls -id "$1" | { read a b; echo "$a"; } +} + list_source_files() { local d r d="$(cd "$1" && echo "$PWD")" r="$d" - while [ "$r" != "/" -a ! -e "$r/.svn" -a ! -e "$r/.git" -a ! -e "$r/.hg" ]; do - r="$(dirname "$r")" + inode_root="$(inode /)" + while [ $(inode "$r") != "${inode_root}" -a \ + ! -e "$r/.svn" -a ! -e "$r/.git" -a ! -e "$r/.hg" ]; do + r="$r/.." done if [ -e "$r/.svn" ]; then