mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-19 21:57:55 +00:00
parent
fce9cd8c22
commit
ce27b5ebce
@ -41,21 +41,21 @@ set _missing_depot_archives {}
|
|||||||
# Pattern to parse a version-less archive path into <user>, <type>, <name>
|
# Pattern to parse a version-less archive path into <user>, <type>, <name>
|
||||||
#
|
#
|
||||||
proc _depot_archive_path_pattern { } {
|
proc _depot_archive_path_pattern { } {
|
||||||
return {^([\w\d]+)/([\w]+)/([\w\d\-_]+)$} }
|
return {^([\w\d\-]+)/([\w]+)/([\w\d\-_]+)$} }
|
||||||
|
|
||||||
|
|
||||||
#
|
#
|
||||||
# Pattern to parse a versioned archive path into <user>, <type>, <name>, <version>
|
# Pattern to parse a versioned archive path into <user>, <type>, <name>, <version>
|
||||||
#
|
#
|
||||||
proc _depot_archive_versioned_path_pattern { } {
|
proc _depot_archive_versioned_path_pattern { } {
|
||||||
return {^([\w\d]+)/([\w]+)/([\w\d\-_]+)/([\w\d\-\._]+)$} }
|
return {^([\w\d\-]+)/([\w]+)/([\w\d\-_]+)/([\w\d\-\._]+)$} }
|
||||||
|
|
||||||
|
|
||||||
#
|
#
|
||||||
# Pattern to parse a binary archive path into <user>, <spec>, <name>.
|
# Pattern to parse a binary archive path into <user>, <spec>, <name>.
|
||||||
#
|
#
|
||||||
proc _depot_bin_archive_path_pattern { } {
|
proc _depot_bin_archive_path_pattern { } {
|
||||||
return {^([\w\d]+)/bin/([\w\d]+)/([\w\d\-_]+)$} }
|
return {^([\w\d\-]+)/bin/([\w\d]+)/([\w\d\-_]+)$} }
|
||||||
|
|
||||||
|
|
||||||
#
|
#
|
||||||
|
Loading…
Reference in New Issue
Block a user