Details | Last modification | View Log | RSS feed
echo %1 > length.dat
make
make runstep1b
x step2b
x step3
make runstep4