Skip to content

Commit

Permalink
Add setarch
Browse files Browse the repository at this point in the history
  • Loading branch information
FedericoCeratto committed May 20, 2023
1 parent 8e33f5d commit fe2010e
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion QA/rundocker.bash
Original file line number Diff line number Diff line change
Expand Up @@ -13,4 +13,4 @@ EOF

$DOCKER build -t jafar-qa ./QA/

$DOCKER run --privileged -v$(pwd):/jafar -w/jafar jafar-qa ./QA/dockermain.sh "$@"
$DOCKER run --privileged -v$(pwd):/jafar -w/jafar setarch --addr-no-randomize jafar-qa ./QA/dockermain.sh "$@"

0 comments on commit fe2010e

Please sign in to comment.