Skip to content

Commit 08e1f83

Browse files
committed
update build script
1 parent 84ee3a5 commit 08e1f83

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

build.sh

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
set -e
33
set -o pipefail
44
pwd=$PWD
5-
chmod +x $pwd/submodules/klee/build.sh $pwd/submodules/Bear/build.sh $pwd/server/build.sh
6-
cd $pwd/submodules/klee && ./build.sh
5+
chmod +x $pwd/submodules/klee/utbot-build.sh $pwd/submodules/Bear/build.sh $pwd/server/build.sh
6+
cd $pwd/submodules/klee && ./utbot-build.sh
77
cd $pwd/submodules/Bear && ./build.sh
88
cd $pwd/server && ./build.sh

0 commit comments

Comments
 (0)