| commit | c370aa3788dc7e6203be4cfec6a48211d1ee7518 | [log] [tgz] |
|---|---|---|
| author | guy <guy> | Mon Dec 31 02:40:21 2007 +0000 |
| committer | guy <guy> | Mon Dec 31 02:40:21 2007 +0000 |
| tree | 8bc5f622130bfe4586a5dafd9013040a5606c3dc | |
| parent | a4e747119ef0324aab15a203f1e30dfcfebb398e [diff] |
The first argument to runlex is now just the command to run, so we can just compare it with "flex" to determine whether we're running Lex or Flex.