diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/.rconf | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/src/.rconf b/src/.rconf new file mode 100644 index 000000000..0d2b1474f --- /dev/null +++ b/src/.rconf @@ -0,0 +1,22 @@ +; To build a symlink tree, do: +; +; /mit/synctree/synctree -s /mit/krb5/src -d /mit/krb5/@sys + +map * $ + +copy *;d +link *;r +link include/stdc-incl +link include/isode-6.0 +link config +copy include/isode +copy *Makefile +ignore *~ +ignore *RCS +ignore *Makefile.bak +ignore *,v +ignore *.o +ignore *.a +ignore include/isode-5.0 +ignore prototype +ignore lib/des.v4 |