1818
1919/* $Id$ */ 
2020
21- /* {{{ error */ 
2221function  error ($ message
2322    printf ('Error: %s%s ' , $ messagePHP_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_prefixPHP_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