diff options
| author | KoDDoS Mirror <mirror@koddos.net> | 2018-07-27 19:16:01 +0700 |
|---|---|---|
| committer | KoDDoS Mirror <mirror@koddos.net> | 2018-07-27 19:16:01 +0700 |
| commit | 4cf7c27e5dca04492495f1fc08256f57f86faf56 (patch) | |
| tree | 8128850191e6ea0cc364f17ae73e9f705ad1ecdd /resources/scripts/helpers/download/grub | |
| parent | 59d7df676b7222b532c2acf4309b16d255a0808b (diff) | |
| parent | fbe7031b606c5716b7bb87a069da05a0cf56fc12 (diff) | |
| download | librebootfr-4cf7c27e5dca04492495f1fc08256f57f86faf56.tar.gz librebootfr-4cf7c27e5dca04492495f1fc08256f57f86faf56.zip | |
Merge with original repo
Diffstat (limited to 'resources/scripts/helpers/download/grub')
| -rwxr-xr-x | resources/scripts/helpers/download/grub | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/resources/scripts/helpers/download/grub b/resources/scripts/helpers/download/grub index c0a298cb..3ec8a8fb 100755 --- a/resources/scripts/helpers/download/grub +++ b/resources/scripts/helpers/download/grub @@ -49,6 +49,11 @@ git reset --hard e54c99aaff5e5f6f5d3b06028506c57e66d8ef77 # Replace "GNU GRUB version" in GRUB screen with "FREE AS IN FREEDOM" git am "../resources/grub/patch/0001-grub-core-normal-main.c-Display-FREE-AS-IN-FREEDOM-n.patch" +# Enable reproducible builds +git am "../resources/grub/patch/reproducible/0001-mkstandalone-add-argument-fixed-time-to-override-mti.patch" +git am "../resources/grub/patch/reproducible/0002-mkrescue-add-argument-fixed-time-to-get-reproducible.patch" +git am "../resources/grub/patch/reproducible/0003-Makefile-use-FIXED_TIMESTAMP-for-mkstandalone-if-set.patch" + cd "../" # Also download SeaBIOS, which we use with GRUB, to implement SeaGRUB |