From 1c3bba0a5d23eda61199b915fbc92112227b9411 Mon Sep 17 00:00:00 2001
From: Andreas Fankhauser (@tux-six)
Date: Wed, 13 Jul 2022 00:51:45 +0200
Subject: Set NDEBUG=1 as default. Fix wrong CMD in dockerfile. Drop
 indentation in shell block because looks ugly in markdown

---
 contrib/build-using-docker/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'contrib')

diff --git a/contrib/build-using-docker/Dockerfile b/contrib/build-using-docker/Dockerfile
index 9a6df6b..c56cacd 100644
--- a/contrib/build-using-docker/Dockerfile
+++ b/contrib/build-using-docker/Dockerfile
@@ -31,5 +31,5 @@ USER 1000:1000
 
 # run for max 10 hrs. Because this container is not meant to stay running
 # forever.
-CMD ["sleep 36000"]
+CMD ["sleep", "36000"]
 
-- 
cgit v1.1