Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/config/install.sh
ViewVC logotype

Diff of /sml/trunk/config/install.sh

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1073, Fri Feb 15 22:07:38 2002 UTC revision 1074, Fri Feb 15 22:17:39 2002 UTC
# Line 95  Line 95 
95  require() {  require() {
96      require_who=$1      require_who=$1
97      shift      shift
98      for required_x "$@" ; do      for required_x in "$@" ; do
99          if isnotin ${required_x} ${TARGETS} ; then          if isnotin ${required_x} ${TARGETS} ; then
100              echo "Including ${required_x} (needed by ${require_who})."              echo "Including ${required_x} (needed by ${require_who})."
101              request ${required_x}              request ${required_x}

Legend:
Removed from v.1073  
changed lines
  Added in v.1074

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0