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

Changeset 3876300 in mainline for tools/grub/grub-update.sh


Ignore:
Timestamp:
2016-04-05T18:32:23Z (5 years ago)
Author:
Jiri Svoboda <jiri@…>
Branches:
master
Children:
cfb1217
Parents:
5823f4da
Message:

Do not depend on scripts being run from the directory they reside in.

File:
1 edited

Legend:

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

    r5823f4da r3876300  
    3333#
    3434
    35 origdir="$(pwd)"
     35origdir="$(cd "$(dirname "$0")" && pwd)"
    3636helenosdir="$origdir/../.."
    37 workdir="$(pwd)/grub-src"
    38 builddir="$(pwd)/grub-build"
     37workdir="$origdir/grub-src"
     38builddir="$origdir/grub-build"
    3939git_repo="git://git.savannah.gnu.org/grub.git"
    4040grub_rev="bc220962e366b1b46769ed6f9fa5be603ba58ab5"
Note: See TracChangeset for help on using the changeset viewer.