patchlist.sh 242 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
#!/bin/sh --

cat <<EOF
/* this is an autogenerated file.  do not edit. */
#include <stdio.h>
#include <stdlib.h>

#include "mutt.h"

void mutt_print_patchlist (void)
{
EOF

while read patch ; do
	echo "  puts (\"${patch}\");"
done

echo "}"