echo "This is \"W\" (the decider) [v0.1]" echo "(c) 2009, GPL3.1 Tim Menzies, Jackie Keung" date echo "" echo "historical data : $1" echo "new project(s) : $2" Tmp=$HOME/tmp Samples=${Samples:-500} K1=${K1:-5} K2=${K2:-15} Tests=${Tests:-0.33} Seed=${Seed:-1} Nomograms=${Nomograms:-0.66} time cat ../$1.dat ../$1.$2 | pgawk \ --dump-variables=$Tmp/vars10 \ --profile=$Tmp/prof10 \ -f ../cbr.awk \ --source 'END { main() }' Tests=${Tests} Samples=$Samples K1=${K1} K2=${K2} Seed=${Seed} Nomograms=$Nomograms