diff --git a/src/main/p4/build.sh b/src/main/p4/build.sh
index 4407bea..b2ce8c7 100755
--- a/src/main/p4/build.sh
+++ b/src/main/p4/build.sh
@@ -35,6 +35,8 @@
 # PWD is the directory where this script is called from (should be the root of
 # this repo).
 P4C_OUT=${PWD}/tmp/${PROFILE}
+# Prevent the creation by docker run
+mkdir -p ${P4C_OUT}
 
 # DIR is this file directory.
 DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"