diff options
author | Android Build Coastguard Worker <android-build-coastguard-worker@google.com> | 2023-07-07 04:56:23 +0000 |
---|---|---|
committer | Android Build Coastguard Worker <android-build-coastguard-worker@google.com> | 2023-07-07 04:56:23 +0000 |
commit | 8f068b13150eb671f19d179ccfc0deab978e01d2 (patch) | |
tree | e178dbb0ad44659058dfe9a5370f035187b6b781 /src/FAQ2HTML.sh | |
parent | 0cac4652e05dadd69ef83e4aabe9561e2a04e30c (diff) | |
parent | 6a00e5063ecd258fbcf6da9c9e45fa6248e25b12 (diff) | |
download | mksh-8f068b13150eb671f19d179ccfc0deab978e01d2.tar.gz |
Snap for 10453563 from 6a00e5063ecd258fbcf6da9c9e45fa6248e25b12 to mainline-mediaprovider-releaseaml_mpr_341713020aml_mpr_341614010aml_mpr_341511070aml_mpr_341411070aml_mpr_341313030aml_mpr_341111030aml_mpr_341111020aml_mpr_341015090aml_mpr_341015030aml_mpr_340919000android14-mainline-mediaprovider-release
Change-Id: I44bb5e815e735179f034a9220f24cf2cc9154aee
Diffstat (limited to 'src/FAQ2HTML.sh')
-rw-r--r-- | src/FAQ2HTML.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/FAQ2HTML.sh b/src/FAQ2HTML.sh index 180ed98..ecff077 100644 --- a/src/FAQ2HTML.sh +++ b/src/FAQ2HTML.sh @@ -1,5 +1,5 @@ -#!/bin/mksh -rcsid='$MirOS: src/bin/mksh/FAQ2HTML.sh,v 1.1 2020/02/03 22:23:33 tg Exp $' +#!/bin/sh +rcsid='$MirOS: src/bin/mksh/FAQ2HTML.sh,v 1.2 2020/10/31 04:17:36 tg Exp $' #- # Copyright © 2020 # mirabilos <m@mirbsd.org> @@ -37,7 +37,7 @@ fi src_id=$(sed $p -n '/^RCSID: /s///p' "$srcdir"/mksh.faq) # sanity check case $src_id in -(*"$nl"*) +*"$nl"*) echo >&2 "E: more than one RCSID in mksh.faq?" exit 1 ;; esac |