If you wish to keep separate build directories for each platform, you can do so using the following procedure. (Note, this requires that your make program support VPATH. GNU's make will provide this functionality, for example.) If your make program does not support this, see the next section.
For example, if you wish to create a build directory for pmax binaries
you might use the following procedure:
mkdir /u1/krb5-post-1.4/pmax
cd /u1/krb5-post-1.4/pmax
../src/configure
make