equal
deleted
inserted
replaced
77 -D DIR target directory (default ".") |
77 -D DIR target directory (default ".") |
78 -S URL source URL (default: """ + quote(default_source_url) + """) |
78 -S URL source URL (default: """ + quote(default_source_url) + """) |
79 -U URL download URL (default: """ + quote(default_download_url) + """) |
79 -U URL download URL (default: """ + quote(default_download_url) + """) |
80 -V VERSION version (default: """ + quote(default_version) + """) |
80 -V VERSION version (default: """ + quote(default_version) + """) |
81 |
81 |
82 Build zxz-java component from the specified download base URL and VERSION, |
82 Build xz-java component from the specified download base URL and VERSION, |
83 see also """ + main_url + "\n", |
83 see also """ + main_url + "\n", |
84 "D:" -> (arg => target_dir = Path.explode(arg)), |
84 "D:" -> (arg => target_dir = Path.explode(arg)), |
85 "S:" -> (arg => source_url = arg), |
85 "S:" -> (arg => source_url = arg), |
86 "U:" -> (arg => download_url = arg), |
86 "U:" -> (arg => download_url = arg), |
87 "V:" -> (arg => version = arg)) |
87 "V:" -> (arg => version = arg)) |