Skip to content

Commit 43763c8

Browse files
authored
Update build-solvers.sh
1 parent f85c942 commit 43763c8

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

docker/build-scripts/build-solvers.sh

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -15,6 +15,7 @@ if [ ! "$tag" ]; then
1515
tag="latest"
1616
fi
1717

18+
# Most common options are `--with-hsl` and `--without-hsl`
1819
solver_buildargs=$6
1920

2021
echo "build.sh script arguments:

0 commit comments

Comments
 (0)