]> Nishi Git Mirror - gwion.git/commitdiff
:wrench: fix signatures
authorfennecdjay <fennecdjay@gmail.com>
Mon, 27 Feb 2023 12:19:07 +0000 (13:19 +0100)
committerfennecdjay <fennecdjay@gmail.com>
Mon, 27 Feb 2023 12:19:07 +0000 (13:19 +0100)
scripts/embed.bash

index 9e09ac625329342ebd8e42c4308f91d643f7f0b2..1729cd31ad7cc1efb3392d20e9ceea13411e8180 100644 (file)
@@ -46,13 +46,13 @@ driver() {
 }
 modini() {
   has_func "gwmodini" "$1" "$2" && {
-    header "extern void *gwmodini_${2}(const Gwion, const Vector);"
+    header "extern void *gwmodini_${2}(Gwion const, Vector const);"
     echo "  plug->modini = gwmodini_${2};"
   }
 }
 modend() {
   has_func "gwmodend" "$1" "$2" && {
-    header "extern m_bool gwmodend_${2}(const Gwion gwion, void *self);"
+    header "extern m_bool gwmodend_${2}(Gwion const, void *self);"
     echo "  plug->modend = gwmodend_${2};"
   }
 }