update

[l4.git] / l4 / pkg / valgrind / Makefile

diff --git a/l4/pkg/valgrind/Makefile b/l4/pkg/valgrind/Makefile
index 67fd8815d0bcb57fe3a057b4134326c692c4436d..48ccb868664fab8bd5893cad12c958b65684c75e 100644 (file)
--- a/l4/pkg/valgrind/Makefile
+++ b/l4/pkg/valgrind/Makefile
@@ -9,7 +9,7 @@ L4DIR   ?= $(PKGDIR)/../..
 SYSTEMS = x86-l4f
 
 all::
-       PWD=$(PWD)/build make -C build
+       if [ ! -e $(PKGDIR)/broken ]; then PWD=$(PWD)/build make -C build; fi
 
 clean::
        PWD=$(PWD)/build make -C build $@