summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--rules.ninja3
1 files changed, 0 insertions, 3 deletions
diff --git a/rules.ninja b/rules.ninja
index 98cff501..29538cd3 100644
--- a/rules.ninja
+++ b/rules.ninja
@@ -27,9 +27,6 @@ rule cat
rule gzip
command = gzip -c -9 -n $in >$out.tmp && mv $out.tmp $out
-rule lex
- command = $lex -t $in >$out.tmp && mv $out.tmp $out
-
rule yacc
command = oldcwd=$$PWD && cd $outdir && $yacc $yaccflags $$oldcwd/$in