diff options
author | Dieter Plaetinck <dieter@plaetinck.be> | 2009-04-04 15:26:35 +0200 |
---|---|---|
committer | Dieter Plaetinck <dieter@plaetinck.be> | 2009-04-04 15:26:35 +0200 |
commit | 3ea556956d10dc98f65a27436493af5e3ef35e26 (patch) | |
tree | 086906edbecf45641b4ebbc6ad73fe45bb336d83 /src/core | |
parent | bfa28ff93026688bc5dc97666442977623579b7f (diff) |
stderr output fix
Diffstat (limited to 'src/core')
-rw-r--r-- | src/core/libs/lib-blockdevices-filesystems.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/core/libs/lib-blockdevices-filesystems.sh b/src/core/libs/lib-blockdevices-filesystems.sh index c1316f0..7cdd477 100644 --- a/src/core/libs/lib-blockdevices-filesystems.sh +++ b/src/core/libs/lib-blockdevices-filesystems.sh @@ -207,7 +207,7 @@ findpartitions() { # taken from setup get_grub_map() { - rm $TMP_DEV_MAP #TODO: this doesn't exist? is this a problem? ASKDEV + rm $TMP_DEV_MAP &>/dev/null #TODO: this doesn't exist? is this a problem? ASKDEV infofy "Generating GRUB device map...\nThis could take a while.\n\n Please be patient." $var_TARGET_DIR/sbin/grub --no-floppy --device-map $TMP_DEV_MAP >/tmp/grub.log 2>&1 <<EOF quit |