From fc8d39882fa75c183a782e80b3fbe8ca65804a83 Mon Sep 17 00:00:00 2001
From: Pol Henarejos <pol.henarejos@cttc.es>
Date: Mon, 30 Jan 2023 12:00:57 +0100
Subject: [PATCH] Add missing build file.

Signed-off-by: Pol Henarejos <pol.henarejos@cttc.es>
---
 tests/build-in-docker.sh | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100755 tests/build-in-docker.sh

diff --git a/tests/build-in-docker.sh b/tests/build-in-docker.sh
new file mode 100755
index 0000000..d0b636e
--- /dev/null
+++ b/tests/build-in-docker.sh
@@ -0,0 +1,7 @@
+#!/bin/bash -eu
+
+source tests/docker_env.sh
+#run_in_docker rm -rf CMakeFiles
+run_in_docker mkdir -p build_in_docker
+run_in_docker -w "$PWD/build_in_docker" cmake -DENABLE_EMULATION=1 ..
+run_in_docker -w "$PWD/build_in_docker" make -j ${NUM_PROC}