File l4env-no-dice-no-fiasco.patch of Package tud-l4env

Index: l4/Makefile
===================================================================
--- l4.orig/Makefile
+++ l4/Makefile
@@ -6,10 +6,10 @@
 
 L4DIR		?= .
 
-BUILD_DIRS_ALL      = tool ../kernel/fiasco ../dice pkg
-install-dirs_ALL    = tool ../kernel/fiasco ../dice pkg
-clean-dirs_ALL      = tool ../kernel/fiasco ../dice pkg doc
-cleanall-dirs_ALL   = tool ../kernel/fiasco ../dice pkg doc
+BUILD_DIRS_ALL      = tool pkg
+install-dirs_ALL    = tool pkg
+clean-dirs_ALL      = tool pkg doc
+cleanall-dirs_ALL   = tool pkg doc
 
 BUILD_DIRS_L4DIR    = tool pkg
 install-dirs_L4DIR  = tool pkg