diff options
author | root <root@rshg054.dnsready.net> | 2012-07-23 00:01:51 +0000 |
---|---|---|
committer | root <root@rshg054.dnsready.net> | 2012-07-23 00:01:51 +0000 |
commit | 59475c73370c37becae97edfb8eb2fe4d56ef87f (patch) | |
tree | 74197d2d4fb263937551ef47d3becb39585e8991 /testing/flex/lex.sh | |
parent | e4d2743138eaca146b1a01a7815facdb3d271d88 (diff) |
Mon Jul 23 00:01:51 UTC 2012
Diffstat (limited to 'testing/flex/lex.sh')
-rw-r--r-- | testing/flex/lex.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/testing/flex/lex.sh b/testing/flex/lex.sh new file mode 100644 index 000000000..13e7de692 --- /dev/null +++ b/testing/flex/lex.sh @@ -0,0 +1,3 @@ +#!/bin/sh + +exec /usr/bin/flex -l "$@" |