From 9430bd289351fb7e8c8122b5eb12acd61b954657 Mon Sep 17 00:00:00 2001
From: Joshua Phillips <jp.sittingduck@gmail.com>
Date: Tue, 17 Feb 2009 17:36:22 +0000
Subject: [PATCH] Removed bash-specific things from make-cd.sh

---
 tools/make-cd.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/tools/make-cd.sh b/tools/make-cd.sh
index e6c66ec..2572718 100755
--- a/tools/make-cd.sh
+++ b/tools/make-cd.sh
@@ -8,11 +8,11 @@ GRUBDIR=/usr/lib/grub/i386-pc
 OUTPUT=cdrom.iso
 
 # create directory if it doesn't exist - die on failure
-function mkdir_e(){
+mkdir_e(){
     [ -d "$1" ] || mkdir -v "$1" || die "failed to create directory $1"
 }
 
-function die(){
+die(){
     echo $*
     exit 1
 }
@@ -52,7 +52,7 @@ then
 fi
 
 # install a file into the CD image
-function insfile(){
+insfile(){
     [ -f "$1" ] || die "$1 does not exist. Maybe you forgot to build it?"
     cp -v "$1" "$CDDIR/boot/" || die "could not install $1"
 }
-- 
2.11.4.GIT