1
0
mirror of git://projects.qi-hardware.com/cae-tools.git synced 2025-04-21 12:27:27 +03:00

cameo/: added option "any" to "mill", to accept paths irrespective of tool size

This commit is contained in:
Werner Almesberger
2011-08-31 21:17:29 -03:00
parent 54101eaaf4
commit 75c3a7d1d2
5 changed files with 47 additions and 22 deletions

View File

@@ -68,6 +68,8 @@ NUM -?[0-9]+\.?[0-9]*
<INITIAL>dog return TOK_DOG;
<INITIAL>inside return TOK_INSIDE;
<INITIAL>any return TOK_ANY;
<INITIAL>mm metric = 1;
<INITIAL>mil metric = 0;