diff options
| -rwxr-xr-x | configure.gnu | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.gnu b/configure.gnu index 30af30d30f..98876ccff8 100755 --- a/configure.gnu +++ b/configure.gnu @@ -40,7 +40,7 @@ while test $# -gt 0; do case $1 in --help) cat <<EOM -Usage: configure [options] +Usage: configure.gnu [options] This is GNU configure-like front end for a metaconfig-generated Configure. It emulates the following GNU configure options (must be fully spelled out): --help |