Fix bash scripts for running verus daemon and cli
This commit is contained in:
2
src/fiat/verus
Normal file → Executable file
2
src/fiat/verus
Normal file → Executable file
@@ -4,4 +4,4 @@
|
||||
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
|
||||
cd $DIR
|
||||
|
||||
../komodo-cli -ac_name=VERUSTEST "$@"
|
||||
../komodo-cli -ac_name=VRSC "$@"
|
||||
|
||||
Reference in New Issue
Block a user