mirror of
https://github.com/postgres/postgres.git
synced 2025-05-12 16:21:30 +03:00
12 lines
297 B
Bash
Executable File
12 lines
297 B
Bash
Executable File
#!/bin/sh
|
|
|
|
# src/tools/make_mkid
|
|
|
|
mkid `find \`pwd\`/ \( -name _deadcode -a -prune \) -o \
|
|
-type f -name '*.[chyl]' -print|sed 's;//;/;g'`
|
|
|
|
find . \( -name .git -a -prune \) -o -type d -print |while read DIR
|
|
do
|
|
[ "$DIR" != "." ] && ln -f -s `echo "$DIR" | sed 's;/[^/]*;/..;g'`/ID $DIR/ID
|
|
done
|