From bb7334e3436e91f3f1720f42902770fa2411ed7c Mon Sep 17 00:00:00 2001 From: Julien CLEMENT Date: Mon, 29 Nov 2021 17:53:56 +0100 Subject: [PATCH] fix(make): remove useless create-iso script Signed-off-by: Julien CLEMENT --- Makefile | 2 +- tools/create-iso.sh | 8 -------- 2 files changed, 1 insertion(+), 9 deletions(-) delete mode 100755 tools/create-iso.sh diff --git a/Makefile b/Makefile index a0b7f30..eff9e75 100644 --- a/Makefile +++ b/Makefile @@ -14,7 +14,7 @@ SRC = src/lib.rs all: $(ISO) $(ISO): install - ./tools/create-iso.sh $@ $(INSTALL_ROOT) + grub-mkrescue -o $@ $(INSTALL_ROOT) install: $(KERNEL) $(GRUB_CFG) mkdir -p $(ABS_INSTALL) diff --git a/tools/create-iso.sh b/tools/create-iso.sh deleted file mode 100755 index 99131a3..0000000 --- a/tools/create-iso.sh +++ /dev/null @@ -1,8 +0,0 @@ -#!/bin/sh - -iso_filename=$1 -base_dir=$2 - -unset MFLAGS MAKEFLAGS - -grub-mkrescue -o $iso_filename $base_dir