diff options
Diffstat (limited to 'configure.gnu')
| -rwxr-xr-x | configure.gnu | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.gnu b/configure.gnu index 98876ccff8..fa46532094 100755 --- a/configure.gnu +++ b/configure.gnu @@ -27,7 +27,7 @@ case "$0" in if cmp $0 `echo $0 | sed -e s/configure/Configure/` >/dev/null; then echo "Your configure and Configure scripts seem to be identical." echo "This can happen on filesystems that aren't fully case sensitive." - echo "You'll have to explicitely extract Configure and run that." + echo "You'll have to explicitly extract Configure and run that." exit 1 fi ;; |