Skip to content
Browse files

aan to bin/aan

  • Loading branch information...
1 parent 2473787 commit e8d066a185e2e2273e0676b457a10a5ab7c4b331 @bblum committed Dec 10, 2011
Showing with 1 addition and 1 deletion.
  1. +1 −1 README
@@ -159,7 +159,7 @@ To build, just invoke "make"; you will need GHC, and Language.C version
0.3.something (I use On the GHC machines, you can run
"./" and hopefully then a make will work.
-For each file you wish to check, run: aan [include paths] path/to/file.c
+For each file you wish to check, run: ./bin/aan [include paths] path/to/file.c
"" should be used, from the directory with 410kern in it, to
generate the include paths.

0 comments on commit e8d066a

Please sign in to comment.
Something went wrong with that request. Please try again.