diff options
| author | David Tardon <dtardon@redhat.com> | 2011-09-06 07:59:52 +0200 |
|---|---|---|
| committer | David Tardon <dtardon@redhat.com> | 2011-09-06 08:01:38 +0200 |
| commit | 1d0ef7f9f4cda63803cc916906c9cf981736a07b (patch) | |
| tree | 9484c3cf620868353cac9c5cffae62fac1a41457 /solenv/bin/install-gdb-printers | |
| parent | 3e886b6bc6937d6d1a9e10a703a96b8944690ff4 (diff) | |
replace existing file
Diffstat (limited to 'solenv/bin/install-gdb-printers')
| -rwxr-xr-x | solenv/bin/install-gdb-printers | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/solenv/bin/install-gdb-printers b/solenv/bin/install-gdb-printers index 16327f3ccbc1..0a1c90d36d02 100755 --- a/solenv/bin/install-gdb-printers +++ b/solenv/bin/install-gdb-printers @@ -49,6 +49,7 @@ make_autoload() { mkdir -p "${dir}" || die "cannot create dir '${dir}'" fi + [[ -f ${lib}-gdb.py ]] && rm -f "${lib}-gdb.py" if ${link}; then if [[ ! -f ${lib}-gdb.py ]]; then local gdbname="${lib##*/}-gdb.py" |