Diff

Differences From Artifact [801dd82b1f]:

To Artifact [c753a6c0fc]:


425
426
427
428
429
430
431
432

433
434
435
436
437
438
439
		foreach module $modules {
			lappend all_modules $module
		}
	}

	# Determine what modules to add the arguments to
	if {[info exists options(args)]} {
		foreach arg [split $options(args) " "] {

			if {$arg == ""} {
				continue
			}

			if {[string match "*=*" $arg]} {
				set work [split $arg =]








|
>







425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
		foreach module $modules {
			lappend all_modules $module
		}
	}

	# Determine what modules to add the arguments to
	if {[info exists options(args)]} {
		foreach arg [split $options(args) " \n\t"] {
			set arg [string trim $arg]
			if {$arg == ""} {
				continue
			}

			if {[string match "*=*" $arg]} {
				set work [split $arg =]