diff options
| -rwxr-xr-x | build-release | 13 | ||||
| -rwxr-xr-x | getbucts | 1 | ||||
| -rw-r--r-- | resources/bucts/patch/0001-Makefile-don-t-use-git.patch | 24 |
3 files changed, 29 insertions, 9 deletions
diff --git a/build-release b/build-release index 5e5f323d..dbee7008 100755 --- a/build-release +++ b/build-release @@ -88,15 +88,10 @@ cd libreboot_src/ # remove .git for libreboot project itself rm -rf .git* -# # bucts needs .git to stay, otherwise it won't compile -# # We don't need .git* (please submit all upstreamable changes directly to bucts upstream) -# # removing them, to reduce the size of the archive -# cd bucts -# rm -rf .git -# rm -rf .gitignore -# cd ../ -# # it was found to cause issues when deleting: -# # GIT_DISCOVERY_ACROSS_FILESYSTEM not set +# remove .git for bucts +cd bucts/ +rm -rf .git* +cd ../ # coreboot: # the instructions for coreboot remain in getgb script @@ -42,6 +42,7 @@ cd bucts # ----------------------------------------------------------- git reset --hard dc27919d7a66a6e8685ce07c71aefa4f03ef7c07 +git am "../resources/bucts/patch/0001-Makefile-don-t-use-git.patch" # we're done cd ../ diff --git a/resources/bucts/patch/0001-Makefile-don-t-use-git.patch b/resources/bucts/patch/0001-Makefile-don-t-use-git.patch new file mode 100644 index 00000000..68285201 --- /dev/null +++ b/resources/bucts/patch/0001-Makefile-don-t-use-git.patch @@ -0,0 +1,24 @@ +From 63312528ea81207865077ab2c75963e3660859f0 Mon Sep 17 00:00:00 2001 +From: Francis Rowe <info@gluglug.org.uk> +Date: Sat, 14 Feb 2015 00:56:43 +0000 +Subject: [PATCH] Makefile: don't use git + +--- + Makefile | 2 +- + 1 file changed, 1 insertion(+), 1 deletion(-) + +diff --git a/Makefile b/Makefile +index 68541e6..b5f43d5 100644 +--- a/Makefile ++++ b/Makefile +@@ -1,6 +1,6 @@ + CC:=gcc + OBJ:=bucts.o +-VERSION:=$(shell git describe) ++VERSION:=withoutgit + + ifeq ($(shell uname), FreeBSD) + CFLAGS = -I/usr/local/include +-- +1.9.1 + |