aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
-rw-r--r--Dockerfile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Dockerfile b/Dockerfile
index 9de14e1..597d723 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -22,6 +22,7 @@ RUN cd -- "$src_dir" && \
"CONFIGURATION=$CONFIGURATION" \
"DEFAULT_HOST=$DEFAULT_HOST" \
"INSTALL_PREFIX=$install_dir" && \
+ ulimit -n 1024 && \
make test CONFIGURATION="$CONFIGURATION"
FROM base