Skip to content

Commit

Permalink
Merge pull request #2 from sslab-gatech/master
Browse files Browse the repository at this point in the history
Fix a bug in creating vagrant (upstream)
  • Loading branch information
aurelf authored Nov 16, 2023
2 parents 7ea4efc + 153a0b4 commit 7add95b
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion vagrant/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ Using QSYM with vagrant

Pulling from Vagrant Cloud
--------------------------
* Follow directions in https://app.vagrantup.com/jakkdu/boxes/qsym
* Follow directions in https://app.vagrantup.com/insuyun/boxes/qsym

Building locally
----------------
Expand Down
2 changes: 1 addition & 1 deletion vagrant/Vagrantfile
Original file line number Diff line number Diff line change
Expand Up @@ -32,7 +32,7 @@ Vagrant.configure("2") do |config|
pushd qsym
./setup.sh
sudo pip install .
sudo python -m pip install .
popd
# install afl
Expand Down

0 comments on commit 7add95b

Please sign in to comment.