diff options
| author | Marco Amadori <marco.amadori@gmail.com> | 2008-06-06 23:01:26 +0200 |
|---|---|---|
| committer | Daniel Baumann <daniel@debian.org> | 2011-03-09 17:48:00 +0100 |
| commit | d88643d2724f1e8b0028660c8de76c0bd0c286d8 (patch) | |
| tree | 91beab24b59fe85af11299275efaabd2f0521051 | |
| parent | e0c2f1d0cef706c3a87aa3fb6d17c01e117c66ad (diff) | |
| download | live-boot-d88643d2724f1e8b0028660c8de76c0bd0c286d8.tar.gz live-boot-d88643d2724f1e8b0028660c8de76c0bd0c286d8.zip | |
live-snapshot: removed an unused and useless function.
| -rwxr-xr-x | bin/live-snapshot | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/bin/live-snapshot b/bin/live-snapshot index b523c4a..d4c6c34 100755 --- a/bin/live-snapshot +++ b/bin/live-snapshot @@ -125,19 +125,6 @@ Version () exit 0 } -Is_same_mount () -{ - dir1="$(Base_path ${1})" - dir2="$(Base_path ${2})" - - if [ "${dir1}" = "${dir2}" ] - then - return 0 - else - return 1 - fi -} - Parse_args () { # Parse command line |