From d0f589d3b4f6435d7894582341c730c3f9f66ca2 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Wed, 28 Oct 2015 19:17:33 +0100
Subject: [PATCH] remove typos

---
 hermit/tools/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/hermit/tools/Makefile b/hermit/tools/Makefile
index 2ee3d9873..e9f5dc418 100644
--- a/hermit/tools/Makefile
+++ b/hermit/tools/Makefile
@@ -53,14 +53,14 @@ proxy: iso $(PROXYFILES)
 	$Q./create_proxy.sh $(foreach FILE, $(PROXYFILES), $(FILE))
 	$Qmv *_proxy iso/
 	$Qcp ../hermit.bin iso
-	$Qgenisoimage -R -J -o proxy-image.iso iso
+	$Qgenisoimage -R -J -input-charset utf8 -o proxy-image.iso iso
 
 clean:
 	@echo Cleaning tools
 	$Q$(RM) -rf *.o *~ *.bin *.obj *.h
 
 veryclean: clean
-	@Q$(RM) -rf iso
+	$Q$(RM) -rf iso
 
 depend:
 	$(CC) -MM $(CFLAGS) *.c > Makefile.dep