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

SCM Repository

[diderot] Diff of /branches/vis15/src/tests/ertest/scripts/run1.sh
ViewVC logotype

Diff of /branches/vis15/src/tests/ertest/scripts/run1.sh

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

revision 3971, Wed Jun 15 12:25:51 2016 UTC revision 3972, Wed Jun 15 12:27:01 2016 UTC
# Line 31  Line 31 
31  DIDEROTC=$HERE/../../../bin/diderotc  DIDEROTC=$HERE/../../../bin/diderotc
32  #DIDEROTC=/Users/chariseechiw/diderot/vis15/bin/diderotc  #DIDEROTC=/Users/chariseechiw/diderot/vis15/bin/diderotc
33  #DIDEROTC=/Users/jhr/Work/Diderot/vis15/bin/diderotc  #DIDEROTC=/Users/jhr/Work/Diderot/vis15/bin/diderotc
34  DIDEROTC_FLAGS="--log --dump-all --check-all"  DIDEROTC_FLAGS="--exec --log --dump-all --check-all"
35  RUNTIME_FLAGS=""  RUNTIME_FLAGS=""
36  if [ $# -ne 0 ] ; then  if [ $# -ne 0 ] ; then
37    # first we check for the diderotc command    # first we check for the diderotc command

Legend:
Removed from v.3971  
changed lines
  Added in v.3972

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