Skip to content

Commit 10e5812

Browse files
authored
bugfix: gencopy fails if runfile is a real file (#268)
1 parent 2c4d7d0 commit 10e5812

1 file changed

Lines changed: 5 additions & 1 deletion

File tree

cmd/gencopy/gencopy.bash.in

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -17,10 +17,14 @@ CONFIG_SHORT_PATH=@@CONFIG_SHORT_PATH@@
1717
# either by reading the symbolic link or reading the runfiles manifest.
1818
function find_runfile {
1919
local runfile=$1
20-
if [ -f "$runfile" ]; then
20+
if [ -L "$runfile" ]; then
2121
readlink "$runfile"
2222
return
2323
fi
24+
if [ -f "$runfile" ]; then
25+
echo "$runfile"
26+
return
27+
fi
2428
runfile=$(echo "$runfile" | sed -e 's!^\(\.\./\|external/\)!!')
2529
if grep -q "^$runfile" MANIFEST; then
2630
grep "^$runfile" MANIFEST | head -n 1 | cut -d' ' -f2

0 commit comments

Comments
 (0)