X-Git-Url: https://piware.de/gitweb/?p=bin.git;a=blobdiff_plain;f=build-devtoolbox;h=bc651f47d4db7161521904ad003bdb67786bfe14;hp=9656121691ea021e6f46cb68f1ad65052f6f12dd;hb=63af74ae20e81711cf3e172e0fd05defc3b0fe4f;hpb=d37bfde83dad8b42b92670437942e2f2dcc55425

diff --git a/build-devtoolbox b/build-devtoolbox
index 9656121..bc651f4 100755
--- a/build-devtoolbox
+++ b/build-devtoolbox
@@ -55,3 +55,4 @@ cat <<EOF | sudo tee /etc/krb5.conf.d/0_file_ccache
 [libdefaults]
     default_ccache_name = FILE:/tmp/krb5.ccache
 EOF
+'