cvs commit: hugs98/src machdep.c hugs98/docs/users_guide options.xml

[Ross Paterson]

ross        2005/03/08 04:40:41 PST

  Modified files:
    src                  machdep.c 
    docs/users_guide     options.xml 
  Log:
  When setting the search path using -P, delete duplicate entries,
  as searching them would be a waste of time.
  
  Revision  Changes    Path
  1.124     +100 -18   hugs98/src/machdep.c
  1.15      +2 -0      hugs98/docs/users_guide/options.xml