]> Savannah Git Hosting - gnulib.git/commitdiff
declared.sh: Fix comment.
authorBruno Haible <bruno@clisp.org>
Sun, 12 May 2019 09:16:19 +0000 (11:16 +0200)
committerBruno Haible <bruno@clisp.org>
Sun, 12 May 2019 09:16:19 +0000 (11:16 +0200)
* build-aux/declared.sh: Fix typo in comment.

build-aux/declared.sh

index e606661ca52873e2fb6b445a001cd463c1bbdd50..e9d4b32279b5541639d4904b9a0c32c3515097a1 100755 (executable)
@@ -72,7 +72,7 @@ while test $# -gt 0; do
    --version | --versio | --versi | --vers | --ver | --ve | --v )
       func_version
       exit 0 ;;
-    -- )      # Stop option prcessing
+    -- )      # Stop option processing
       shift; break ;;
     -* )
       func_fatal_error "unrecognized option: $option"