mkdist.php

Timestamp:

11/24/06 01:05:02 (2 years ago)

Author:

laurentj

Message:

jbuildtools : correction sur des problèmes de paramètres d'appel

Files:

trunk/build/mkdist.php

r292	r313
20	20	array_shift($_SERVER['argv']); // shift the script name
21	21
22		$options = array('verbose'=>false);
	22	$options = array('verbose'=>false, 'stripcomment'=>false);
23	23
24	24	if(substr($_SERVER['argv'][0],0,1) == '-'){
25	25	$sw = substr(array_shift($_SERVER['argv']),1);
26	26	$options['verbose'] = (strpos('v', $sw) !== false);
27
	27	$options['stripcomment'] = (strpos('c', $sw) !== false);
28	28	}
29	29
30	30	try {
31	31	list($ficlist, $sourcedir, $distdir) = $_SERVER['argv'];
32		jManifest::process($ficlist, $sourcedir, $distdir, $_SERVER, $options['verbose']);
	32	jManifest::process($ficlist, $sourcedir, $distdir, $_SERVER, $options['stripcomment'], $options['verbose']);
33	33	exit(0);
34	34	}catch(Exception $e){

Download in other formats: Unified Diff Zip Archive