[docker] Fix build-image.sh script for OpenCilk 3.0 updates to tools/…#35

neboat wants to merge 1 commit into

OpenCilk:releaseOpenCilk/infrastructure:releasefrom

neboat:docker-fixneboat/infrastructure:docker-fixCopy head branch name to clipboard