diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -18,8 +18,9 @@ # Everything you may want to change is in the top of this file. Usually, you # can just use the defaults, fortunately. -# You need a full complement of GNU utilities to run this Makefile succesfully; -# most notably, you need bash, GNU make, flex (>= 2.5.1) and bison. +# You need a full complement of GNU utilities to run this Makefile +# successfully; most notably, you need bash, GNU make, flex (>= 2.5.1) +# and bison. # If your /bin/sh is not bash, change the below definition so that make can # find bash. Or you can hope your sh-like shell understands all scripts. |