Fork us on GitHub Follow us on Facebook Follow us on Twitter

Changeset 5b39be2 in mainline


Ignore:
Timestamp:
2016-04-03T18:31:53Z (6 years ago)
Author:
Jiri Svoboda <jiri@…>
Branches:
lfn, master
Children:
da3bc0e
Parents:
2f2dd126
Message:

Reset to the right revision even if clone does not exist yet.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • tools/grub/grub-update.sh

    r2f2dd126 r5b39be2  
    6565        rm -rf "$workdir" "$builddir" || exit 1
    6666        git clone "$git_repo" "$workdir" || exit 1
    67         cd "$workdir" || exit 1
    68 else
    69         cd "$workdir" || exit 1
    70         git pull || exit 1
    71         git reset --hard "$grub_rev" || exit 1
    7267fi
     68
     69cd "$workdir" || exit 1
     70git pull || exit 1
     71git reset --hard "$grub_rev" || exit 1
     72
    7373echo "$grub_rev" >"$helenosdir"/boot/grub.pc/REVISION || exit 1
    7474echo "$grub_rev" > "$helenosdir"/boot/grub.efi/REVISION || exit 1
Note: See TracChangeset for help on using the changeset viewer.