Add user id param

diff --git a/admin/win/docker/build.sh b/admin/win/docker/build.sh
index d12871088ad977a87bc56178f0fb96f2e270333a..16305dd0b1aaf4cfd49b912af56f75081b9287da 100755 (executable)
--- a/admin/win/docker/build.sh
+++ b/admin/win/docker/build.sh
@@ -1,6 +1,11 @@
 #!/bin/bash
 
-useradd user
+if [ $# -lt 1 ]; then
+  echo "Usage: $(basename $0) directory_relative_to_home [uid]"
+  exit
+fi
+
+useradd user -u ${2:-1000}
 su - user << EOF
 cd /home/user/$1
 rm -rf build-win32
@@ -10,5 +15,5 @@ cd build-win32
 cmake .. -DCMAKE_TOOLCHAIN_FILE=../admin/win/Toolchain-mingw32-openSUSE.cmake -DWITH_CRASHREPORTER=ON
 make -j4
 make package
-
+ctest .
 EOF