home *** CD-ROM | disk | FTP | other *** search
/ InfoMagic Internet Tools 1993 July / Internet Tools.iso / RockRidge / mail / pp / pp-6.0 / doc / manual / volume0 / make < prev    next >
Encoding:
Text File  |  1990-09-10  |  223 b   |  12 lines
  1. #! /bin/sh
  2.  
  3. if [ -f ../../../Make.defs ]
  4. then
  5.     PATH=/usr/ucb:/bin:/usr/bin exec \
  6.         make -f ../../../Make.defs -f Makefile ${1+"$@"}
  7. else
  8.     PATH=/usr/ucb:/bin:/usr/bin exec \
  9.         make -f ../Make.defs -f Makefile ${1+"$@"}
  10. fi
  11.  
  12.