| OLD | NEW |
| 1 #!/bin/bash | 1 #!/bin/bash |
| 2 | 2 |
| 3 # Copyright (c) 2009 The Chromium OS Authors. All rights reserved. | 3 # Copyright (c) 2009 The Chromium OS Authors. All rights reserved. |
| 4 # Use of this source code is governed by a BSD-style license that can be | 4 # Use of this source code is governed by a BSD-style license that can be |
| 5 # found in the LICENSE file. | 5 # found in the LICENSE file. |
| 6 | 6 |
| 7 # This script contains common utility function to deal with disk images, | 7 # This script contains common utility function to deal with disk images, |
| 8 # especially for being redistributed into platforms without complete Chromium OS | 8 # especially for being redistributed into platforms without complete Chromium OS |
| 9 # developing environment. | 9 # developing environment. |
| 10 | 10 |
| (...skipping 86 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 97 local file="$1" | 97 local file="$1" |
| 98 local part_num="$2" | 98 local part_num="$2" |
| 99 local offset="$(part_offset "$file" "$part_num")" || | 99 local offset="$(part_offset "$file" "$part_num")" || |
| 100 err_die "failed to dump partition #$part_num from: $file" | 100 err_die "failed to dump partition #$part_num from: $file" |
| 101 local size="$(part_size "$file" "$part_num")" || | 101 local size="$(part_size "$file" "$part_num")" || |
| 102 err_die "failed to dump partition #$part_num from: $file" | 102 err_die "failed to dump partition #$part_num from: $file" |
| 103 | 103 |
| 104 dump_partial_file "$file" "$offset" "$size" | 104 dump_partial_file "$file" "$offset" "$size" |
| 105 } | 105 } |
| 106 | 106 |
| OLD | NEW |