Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2006-04-26 16:46:41 -0700 (Wed, 26 Apr 2006)
Revision: 9130
Log message:

      -pack generates .cmi files too.