mirror of https://github.com/CIRCL/Circlean
10 lines
63 B
Bash
10 lines
63 B
Bash
|
#!/bin/bash
|
||
|
|
||
|
./update_scripts.sh
|
||
|
|
||
|
pushd tests/
|
||
|
|
||
|
./run.sh
|
||
|
|
||
|
popd
|