Skip to content
Snippets Groups Projects
Commit 43d59e3b authored by Julien Signoles's avatar Julien Signoles
Browse files

fix typo

parent 2598d8a6
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/scripts/e-acsl-gcc.sh
+ 1
− 1
View file @ 43d59e3b
...@@ -25,7 +25,7 @@ ...@@ -25,7 +25,7 @@
# Convenience wrapper for small runs of E-ACSL Frama-C plugin # Convenience wrapper for small runs of E-ACSL Frama-C plugin
# Print a message to STDERR and exit. If the second argument (exit code) # Print a message to STDERR and exit. If the second argument (exit code)
# if provided and it is '0' then do nothing. # is provided and it is '0' then do nothing.
error () { error () {
if [ -z "$2" ] || ! [ "$2" = 0 ]; then if [ -z "$2" ] || ! [ "$2" = 0 ]; then
echo "e-acsl-gcc: fatal error: $1" 1>&2 echo "e-acsl-gcc: fatal error: $1" 1>&2
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment