From cc40af4754ddfc4e4f6463a2e4b62779f9d9cee5 Mon Sep 17 00:00:00 2001 From: Jakub Jermar Date: Mon, 27 Nov 2017 22:03:02 +0100 Subject: [PATCH] Convert grub-update.sh script to using git --- tools/grub/grub-update.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/grub/grub-update.sh b/tools/grub/grub-update.sh index b9f0664ea..6e1ab258b 100755 --- a/tools/grub/grub-update.sh +++ b/tools/grub/grub-update.sh @@ -58,7 +58,7 @@ function grub_files_update() cp -R "$builddir"/"$platform"/lib64/grub/"$platform" "$helenosdir"/boot/"$gdir" || exit 1 rm -f "$helenosdir"/boot/"$gdir"/"$platform"/*.image || exit 1 rm -f "$helenosdir"/boot/"$gdir"/"$platform"/*.module || exit 1 - bzr add "$helenosdir"/boot/"$gdir"/"$platform" || exit 1 + git add "$helenosdir"/boot/"$gdir"/"$platform" || exit 1 } # Prepare a clone of Grub2 repo -- 2.11.4.GIT