diff options
Diffstat (limited to 'scripts/test/testing.sh')
| -rw-r--r-- | scripts/test/testing.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/test/testing.sh b/scripts/test/testing.sh index fd233697..0f72bce4 100644 --- a/scripts/test/testing.sh +++ b/scripts/test/testing.sh @@ -34,6 +34,8 @@ export SKIP= # Helper functions +# Check config to see if option is enabled, set SKIP if not. + optional() { option=`echo "$OPTIONFLAGS" | egrep "(^|:)$1(:|\$)"` |