]> Nishi Git Mirror - gwion.git/commitdiff
:wrench: Improve embed script
authorfennecdjay <fennecdjay@gmail.com>
Mon, 27 Feb 2023 11:33:39 +0000 (12:33 +0100)
committerfennecdjay <fennecdjay@gmail.com>
Mon, 27 Feb 2023 11:33:39 +0000 (12:33 +0100)
scripts/embed.bash

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