Mount a directory elsewhere with changed permissions.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
 

13 lines
276 B

#!/bin/bash
set -euxo pipefail
cd "$(dirname "${0}")"
make
make check
sudo make check
cd tests
if which valgrind > /dev/null; then
./test_bindfs.rb --valgrind
sudo ./test_bindfs.rb --valgrind
else
echo "Valgrind not installed. Not running tests with Valgrind."
fi