diff options
Diffstat (limited to 'writemain.SH')
| -rw-r--r-- | writemain.SH | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/writemain.SH b/writemain.SH index b191975d9d..3a81fa679a 100644 --- a/writemain.SH +++ b/writemain.SH @@ -65,7 +65,7 @@ if test X"$args" != "X" ; then mname=`echo $ext | sed 's!/!::!g'` cname=`echo $mname | sed 's!:!_!g'` -echo "EXTERN_C void boot_${cname} _((CV* cv));" +echo "EXTERN_C void boot_${cname} (CV* cv);" done fi |