Pass arguments through build.sh to make

build.sh

@@ -2,4 +2,4 @@
 pushd docker
 docker build -t bpftrace-builder -f Dockerfile.ubuntu .
 popd
-docker run --rm -u $(id -u):$(id -g) -v $(pwd):$(pwd) bpftrace-builder "$(pwd)"
+docker run --rm -it -u $(id -u):$(id -g) -v $(pwd):$(pwd) bpftrace-builder "$(pwd)" "$@"

docker/build.sh

@@ -3,4 +3,5 @@ DIR="$1/build-docker"
 mkdir -p "$DIR"
 cd "$DIR"
 cmake -DCMAKE_BUILD_TYPE=Debug ../
-make
+shift 1
+make "$@"