diff options
Diffstat (limited to 'src/tools/mkcoverit.sh')
-rwxr-xr-x | src/tools/mkcoverit.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/mkcoverit.sh b/src/tools/mkcoverit.sh index 65b06f9fa..d4a68e397 100755 --- a/src/tools/mkcoverit.sh +++ b/src/tools/mkcoverit.sh | |||
@@ -29,7 +29,7 @@ then | |||
29 | pwd | 29 | pwd |
30 | ./configure --prefix=/usr | 30 | ./configure --prefix=/usr |
31 | cd .. | 31 | cd .. |
32 | 32 | ||
33 | else | 33 | else |
34 | echo "Error: firetools source archive missing" | 34 | echo "Error: firetools source archive missing" |
35 | exit 1 | 35 | exit 1 |