Added ability to invoke src/fiat/verus from any cwd. Added executable permission.

2018-05-14 06:58:14 -07:00
parent 498542f60a
commit 72c5a7d56f
1 changed files with 6 additions and 1 deletions
--- a/src/fiat/verus
+++ b/src/fiat/verus
@@ -1,2 +1,7 @@
 #!/bin/bash
-./komodo-cli -ac_name=VERUSTEST "$@"
+
+#set working directory to the location of this script
+DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
+cd $DIR
+
+../komodo-cli -ac_name=VERUSTEST "$@"