7 // ============================================================================= |
7 // ============================================================================= |
8 // ----------------------------------------------------------------------------- |
8 // ----------------------------------------------------------------------------- |
9 str binaryConfigName( str ver ) { |
9 str binaryConfigName( str ver ) { |
10 return fmt( "binaries/%1", ver ); |
10 return fmt( "binaries/%1", ver ); |
11 } |
11 } |
|
12 |
|
13 // ============================================================================= |
|
14 // ----------------------------------------------------------------------------- |
|
15 str basename( str path ) { |
|
16 long lastpos = path.lastIndexOf( "/" ); |
|
17 |
|
18 if( lastpos != -1 ) |
|
19 return path.mid( lastpos + 1 ); |
|
20 |
|
21 return path; |
|
22 } |