From 2aa4fba8d13532c249a2e814017633e2737ded0a Mon Sep 17 00:00:00 2001
From: edef <edef@edef.eu>
Date: Wed, 25 Dec 2019 17:46:06 +0000
Subject: doc/ociTools: exec is a shell builtin, not an external command

---
 doc/builders/images/ocitools.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/builders/images/ocitools.xml b/doc/builders/images/ocitools.xml
index f61075b242f8a..e8cd3472f54de 100644
--- a/doc/builders/images/ocitools.xml
+++ b/doc/builders/images/ocitools.xml
@@ -25,7 +25,7 @@
 buildContainer {
   args = [ (with pkgs; writeScript "run.sh" ''
     #!${bash}/bin/bash
-    ${coreutils}/bin/exec ${bash}/bin/bash
+    exec ${bash}/bin/bash
   '').outPath ]; <co xml:id='ex-ociTools-buildContainer-1' />
 
   mounts = {
-- 
cgit 1.4.1