Merge branch 'branch-1.2' into debian

1 files changed, 10 insertions, 0 deletions

diff --git a/src/kalman/run-micro b/src/kalman/run-micro
new file mode 100755
index 00000000..c63ba371
--- /dev/null
+++ b/src/kalman/run-micro
@@ -0,0 +1,10 @@
+#!/bin/sh
+#for M in 10 20 50 100 200 500; do
+#for M in 50 100 200; do
+for M in 2 5 10; do
+	for i in *.csv; do
+		micro=`basename $i .csv`-$M.micro
+		echo $i '->' $micro
+		nickle ./kalman_micro.5c -M $M $i > $micro
+	done
+done