1234567891011121314151617181920212223242526272829 |
- --- a/efi/build-gnu-efi.sh 2014-10-06 11:27:44.000000000 -0500
- +++ b/efi/build-gnu-efi.sh 2018-02-05 04:53:03.458264480 -0500
- @@ -27,11 +27,6 @@
- exit 1
- fi
-
- -(
- - cd ../..
- - git submodule update --init
- -)
- -
- mkdir -p "$objdir/gnu-efi"
- cd "$objdir/gnu-efi"
-
- --- a/efi/clean-gnu-efi.sh 2014-10-06 11:27:44.000000000 -0500
- +++ b/efi/clean-gnu-efi.sh 2018-02-05 04:54:39.959105784 -0500
- @@ -21,11 +21,6 @@
- ARCH="$1"
- objdir=$(readlink -f "$2")
-
- -(
- - cd ../..
- - git submodule update --init
- -)
- -
- if [ -d "$objdir/gnu-efi" ];then
- cd "$objdir/gnu-efi"
- EFIDIR="$(readlink -f "$objdir/../gnu-efi/gnu-efi-3.0")"
|