Skip to content
Snippets Groups Projects
Commit 79b7ce18 authored by Andre Maroneze's avatar Andre Maroneze
Browse files

[analysis-scripts] fix typo

parent cae10dc7
No related branches found
No related tags found
No related merge requests found
...@@ -33,7 +33,7 @@ if [ $# -lt 1 ]; then ...@@ -33,7 +33,7 @@ if [ $# -lt 1 ]; then
echo "" echo ""
echo " - make-template [dir]" echo " - make-template [dir]"
echo " Interactively prepares a template for running analysis scripts," echo " Interactively prepares a template for running analysis scripts,"
echo " writing it to [dir/GNUmakefile]. [dir] is [.] if ommitted." echo " writing it to [dir/GNUmakefile]. [dir] is [.] if omitted."
echo "" echo ""
echo " - make-path" echo " - make-path"
echo " [for Frama-C developers and advanced users without Frama-C in the path]" echo " [for Frama-C developers and advanced users without Frama-C in the path]"
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment