/*% cat %
This directory is used to store binaries for TIPS modules and makeprof.

DIRECTORIES:

FILES:

makeprof -- compile a profile.c

PATHNAME repl change lines:

makeprof:1:cc -I/sys/source/tips/hd \\
makeprof:2:   /sys/source/tips/olib/newdb.o \\
makeprof:3:   /sys/source/tips/olib/tagchk.o \\
makeprof:5:   /sys/source/tips/mlib/lib
