summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
Diffstat (limited to 'tools')
-rwxr-xr-xtools/ci/scripts/init.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/ci/scripts/init.sh b/tools/ci/scripts/init.sh
index 18e8ee6..e7be691 100755
--- a/tools/ci/scripts/init.sh
+++ b/tools/ci/scripts/init.sh
@@ -74,6 +74,7 @@ function run_configure_simple {
autoreconf -i
check_error $?
mkdir build
+ mkdir m4
cd build
echo "../configure $*"
../configure $*