+ rm -f fsw_efi.obj
+ +make DRIVERNAME=hfs -f Make.tiano
+
+# Build the drivers with GNU-EFI....
+
+gnuefi: $(FILESYSTEMS_GNUEFI)
+
+all_gnuefi: $(FILESYSTEMS_GNUEFI)
+
+ext2_gnuefi:
+ rm -f fsw_efi.o
+ +make DRIVERNAME=ext2 -f Make.gnuefi
+
+ext4_gnuefi:
+ rm -f fsw_efi.o
+ +make DRIVERNAME=ext4 -f Make.gnuefi
+
+reiserfs_gnuefi:
+ rm -f fsw_efi.o
+ +make DRIVERNAME=reiserfs -f Make.gnuefi
+
+iso9660_gnuefi:
+ rm -f fsw_efi.o
+ +make DRIVERNAME=iso9660 -f Make.gnuefi
+
+hfs_gnuefi: