update

[l4.git] / l4 / mk / Makeconf

diff --git a/l4/mk/Makeconf b/l4/mk/Makeconf
index 84cdaa573ae14919800447b59e9a5de71768ef60..6a3a4252c1047f33e2ae84dfacad27e7c677a8a4 100644 (file)
--- a/l4/mk/Makeconf
+++ b/l4/mk/Makeconf
@@ -192,7 +192,7 @@ RM          = rm -f
 SCRUB          = $(RM) $(wildcard *.old) $(wildcard *~) $(wildcard *.bak) \
                         $(wildcard \#*\#)
 SED            = sed
-SHELL          = /bin/bash
+SHELL          = bash
 SIZE           = $(SYSTEM_TARGET)size
 STRIP          = $(SYSTEM_TARGET)strip
 SVN            = svn