Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /benchmarks/scripts/run-one_sh.in
ViewVC logotype

Diff of /benchmarks/scripts/run-one_sh.in

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

revision 1606, Thu Nov 3 22:51:58 2011 UTC revision 1607, Fri Nov 4 12:46:36 2011 UTC
# Line 83  Line 83 
83  make clean 2>> $LOG 1>> $LOG  make clean 2>> $LOG 1>> $LOG
84  # rebuild using the given DIDEROTC_FLAGS  # rebuild using the given DIDEROTC_FLAGS
85  if [ x"$DIDEROTC_FLAGS" != x ] ; then  if [ x"$DIDEROTC_FLAGS" != x ] ; then
86    make DIDEROTC_FLAGS="\""$DIDEROTC_FLAGS"\"" 2>> $LOG 1>> $LOG    make DIDEROTC_FLAGS="$DIDEROTC_FLAGS" 2>> $LOG 1>> $LOG
87  else  else
88    make 2>> $LOG 1>> $LOG    make 2>> $LOG 1>> $LOG
89  fi  fi

Legend:
Removed from v.1606  
changed lines
  Added in v.1607

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