;

diff --git a/ext/ext_skel b/ext/ext_skel
index 58b8c7dcea6685a67908e6e9205056fbba111a55..58cc89f80f2d04e5e8e4b0305954fc12d31e5dad 100755 (executable)
--- a/ext/ext_skel
+++ b/ext/ext_skel
@@ -182,7 +182,7 @@ cat >config.w32 <<eof
 // ARG_ENABLE("$extname", "enable $extname support", "no");
 
 if (PHP_$EXTNAME != "no") {
-       EXTENSION("$extname", "$extname.c")
+       EXTENSION("$extname", "$extname.c");
 }
 
 eof