1818
1919/* $Id$ */
2020
21- /* {{{ error */
2221function error ($ message ) {
2322 printf ('Error: %s%s ' , $ message , PHP_EOL );
2423 exit ;
2524}
26- /* }}} */
2725
28- /* {{{ print_help */
2926function print_help () {
3027 if (PHP_OS_FAMILY != 'Windows ' ) {
3128 $ file_prefix = './ ' ;
@@ -114,19 +111,15 @@ functions strictly needed by others. Exposed internal function must be named
114111HELP ;
115112 exit ;
116113}
117- /* }}} */
118114
119- /* {{{ task */
120115function task ($ label , $ callback ) {
121116 printf ('%s... ' , $ label );
122117
123118 $ callback ();
124119
125120 printf ('done%s ' , PHP_EOL );
126121}
127- /* }}} */
128122
129- /* {{{ print_success */
130123function print_success () {
131124 global $ options ;
132125
@@ -148,9 +141,7 @@ function print_success() {
148141 printf ('%smake test%2$s%2$s ' , $ make_prefix , PHP_EOL );
149142 printf ('Thank you for using PHP!%s ' , PHP_EOL );
150143}
151- /* }}} */
152144
153- /* {{{ process_args */
154145function process_args ($ argv , $ argc ) {
155146 $ options = [
156147 'unix ' => true ,
@@ -230,9 +221,7 @@ function process_args($argv, $argc) {
230221
231222 return $ options ;
232223}
233- /* }}} */
234224
235- /* {{{ process_source_tags */
236225function process_source_tags ($ file , $ short_name ) {
237226 global $ options ;
238227
@@ -286,9 +275,7 @@ function process_source_tags($file, $short_name) {
286275 error ('Unable to save contents to file: ' . $ short_name );
287276 }
288277}
289- /* }}} */
290278
291- /* {{{ copy_config_scripts */
292279function copy_config_scripts () {
293280 global $ options ;
294281
@@ -314,9 +301,7 @@ function copy_config_scripts() {
314301 process_source_tags ($ new_config_script , $ config_script );
315302 }
316303}
317- /* }}} */
318304
319- /* {{{ copy_sources */
320305function copy_sources () {
321306 global $ options ;
322307
@@ -335,9 +320,7 @@ function copy_sources() {
335320 process_source_tags ($ options ['dir ' ] . $ options ['ext ' ] . DIRECTORY_SEPARATOR . $ dst_file , $ dst_file );
336321 }
337322}
338- /* }}} */
339323
340- /* {{{ copy_tests */
341324function copy_tests () {
342325 global $ options ;
343326
@@ -361,8 +344,6 @@ function copy_tests() {
361344 process_source_tags ($ options ['dir ' ] . $ options ['ext ' ] . DIRECTORY_SEPARATOR . $ new_test , $ new_test );
362345 }
363346}
364- /* }}} */
365-
366347
367348if (PHP_SAPI != 'cli ' ) {
368349 error ('This script is only suited for CLI ' );
0 commit comments