mirror of
https://github.com/postgres/postgres.git
synced 2025-11-24 00:23:06 +03:00
Developer reorganization.
This commit is contained in:
7
src/tools/make_mkid
Executable file
7
src/tools/make_mkid
Executable file
@@ -0,0 +1,7 @@
|
||||
#!/bin/sh
|
||||
find `pwd`/ -type f -name '*.[chyl]' -print|sed 's;//;/;g' | mkid -S.gen=C -
|
||||
|
||||
find . -type d -print |while read DIR
|
||||
do
|
||||
[ "$DIR" != "." ] && ln -f -s `pwd`/ID $DIR/ID
|
||||
done
|
||||
Reference in New Issue
Block a user