mirror of
https://github.com/postgres/postgres.git
synced 2026-04-22 06:37:06 -04:00
Add execute permission.
This commit is contained in:
parent
d6dfbecb07
commit
5fb8eaa592
1 changed files with 1 additions and 1 deletions
|
|
@ -7,4 +7,4 @@ sort tags >/tmp/$$ && mv /tmp/$$ tags
|
|||
find . -type d -print |while read DIR
|
||||
do
|
||||
[ "$DIR" != "." ] && ln -f -s `pwd`/tags $DIR/tags
|
||||
done
|
||||
done
|
||||
|
|
|
|||
Loading…
Reference in a new issue