diff --git a/funcheck b/funcheck new file mode 100755 index 0000000000000000000000000000000000000000..3af3d261ad792d2de590eb1651a87397b81aca62 --- /dev/null +++ b/funcheck @@ -0,0 +1,24 @@ +#!/bin/bash + +runner="./scalac-funcheck" +newargs="" + +for arg in $@ +do + if [ -e ${arg} ] + then + newargs="${newargs} ${arg}" + else + newargs="${newargs} -P:funcheck:${arg}" + fi +done + +if [ -e ${runner} ] +then + ${runner} ${newargs} + exit 0 +else + echo "${runner} not found. Have you run 'sbt all' ?" + exit 1 +fi +