diff options
Diffstat (limited to 'branches/1.0/tinyMEDIA/ragel.sh')
-rw-r--r-- | branches/1.0/tinyMEDIA/ragel.sh | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/branches/1.0/tinyMEDIA/ragel.sh b/branches/1.0/tinyMEDIA/ragel.sh deleted file mode 100644 index f8339f5..0000000 --- a/branches/1.0/tinyMEDIA/ragel.sh +++ /dev/null @@ -1,8 +0,0 @@ -# Ragel generator
-# For more information about Ragel: http://www.complang.org/ragel/
-
-export OPTIONS="-C -L -T0"
-#export OPTIONS="-C -L -G2"
-
-# SDP Message parser
-ragel.exe $OPTIONS -o ./src/content/tmedia_content_cpim.c ./ragel/tmedia_content_cpim.rl
\ No newline at end of file |