X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=tools%2Fgen_mlpack.sh;fp=tools%2Fgen_mlpack.sh;h=0000000000000000000000000000000000000000;hp=95f78ecd9cac8af513592a4a2a94ad4ea60f82f7;hb=ebe172413cade8d324561a0279b9b8017b9a2fc0;hpb=5b5dcd45cf86701ccfe917c1d6ad73b83bb523c3

diff --git a/tools/gen_mlpack.sh b/tools/gen_mlpack.sh
deleted file mode 100755
index 95f78ec..0000000
--- a/tools/gen_mlpack.sh
+++ /dev/null
@@ -1,29 +0,0 @@
-#!/bin/sh
-
-cd src
-echo `pwd`
-for dir in *
-do
-    if [ -d "$dir" ]
-    then
-        echo "$dir"
-        rm -f "$dir".mlpack
-        cd "$dir"
-        for i in *.ml *.mly *.mll
-        do
-            if [ ! -f "$i" ]
-            then
-                continue
-            fi
-            echo "$i"
-            f=`echo "$i" | cut -b1`
-            l=`basename "$i" .mll`
-            l=`basename "$l" .mly`
-            l=`basename "$l" .ml | cut -b2-`
-            o=`echo "$f" | tr a-z A-Z`
-            echo "$dir"/"$o""$l" >> ../"$dir".mlpack
-        done
-        cd ..
-    fi
-done
-cd ..
\ No newline at end of file