com php/gtk-src: Update config.w32: ext/extra/config.w32

Commit: 9793164af1f6f4112577c1e48e62e6106572f7a3 Author: tantrum-junkie <loe.florian@gmail.com> Mon, 23 Jun 2014 17:31:11 +0200 Parents: 95caa854ad83afe9893d428b1c1200a9f48886c3 Branches: master Link: http://git.php.net/?p=php/gtk-src.git;a=commitdiff;h=9793164af1f6f4112577c1e48e62e6106572f7a3 Log: Update config.w32 Fixed forgotten renamed file generator.php --> gtkgenerator.php Changed paths: M ext/extra/config.w32 Diff: diff --git a/ext/extra/config.w32 b/ext/extra/config.w32 index 92c811f..4c34dd2 100644 --- a/ext/extra/config.w32 +++ b/ext/extra/config.w32 @@ -7,7 +7,7 @@ if (PHP_GTK_EXTRA != "no" || PHP_GTK_ALL != "no") { if (FSO.FileExists("win32\\temp.bat")) { var temp = FSO.OpenTextFile("win32\\temp.bat", 8); - temp.WriteLine("php -q generator\\generator.php -l win32\\logs\\config_extra.log -o ext\\extra\\gtkextra.overrides -p gtkextra -r ext\\gtk+\\gtk.defs ext\\extra\\gtkextra.defs > ext\\extra\\gen_gtkextra.c"); + temp.WriteLine("php -q generator\\gtkgenerator.php -l win32\\logs\\config_extra.log -o ext\\extra\\gtkextra.overrides -p gtkextra -r ext\\gtk+\\gtk.defs ext\\extra\\gtkextra.defs > ext\\extra\\gen_gtkextra..c"); temp.WriteLine('grep -h "^PHP_GTK_EXPORT_CE" ext\\extra\\gen_gtkextra.c | sed -e "s/^/PHP_GTK_API extern /" > ext\\extra\\gen_gtkextra.h'); temp.Close(); }