diff options
Diffstat (limited to 'cparser/GNUmakefile')
-rw-r--r-- | cparser/GNUmakefile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/cparser/GNUmakefile b/cparser/GNUmakefile index c2792301..d83c49e5 100644 --- a/cparser/GNUmakefile +++ b/cparser/GNUmakefile @@ -68,7 +68,7 @@ DATABASE := handcrafted.messages # We use (GNU) cut when de-lexing examples sentences. -CUT := $(shell if which gcut >/dev/null ; then echo gcut ; else echo cut ; fi) +CUT := $(shell if which gcut >&/dev/null ; then echo gcut ; else echo cut ; fi) # ------------------------------------------------------------------------------ @@ -184,4 +184,3 @@ clean: rm -f pre_parser.messages rm -f $(DATABASE).raw $(DATABASE).bak rm -f deLexer - |