upstream: fix RCSID in output

OpenBSD-Commit-ID: 889ae07f2d2193ddc4351711919134664951dd76
This commit is contained in:
djm@openbsd.org 2024-09-04 05:11:33 +00:00 committed by Damien Miller
parent ba2ef20c75
commit ef8472309a
No known key found for this signature in database
1 changed files with 2 additions and 2 deletions

View File

@ -1,5 +1,5 @@
#!/bin/sh
# $OpenBSD: mlkem768.sh,v 1.1 2024/09/02 12:13:56 djm Exp $
# $OpenBSD: mlkem768.sh,v 1.2 2024/09/04 05:11:33 djm Exp $
# Placed in the Public Domain.
#
@ -31,7 +31,7 @@ set +x
cd $START
(
echo -n '/* $OpenBSD: mlkem768.sh,v 1.1 2024/09/02 12:13:56 djm Exp $ */'
printf '/* $Open'; printf 'BSD$ */\n' # Sigh
echo
echo "/* Extracted from libcrux revision $LIBCRUX_REVISION */"
echo