Commit e20e0f54 authored by Thanassis Tsiodras's avatar Thanassis Tsiodras

Disable the checker (build broken currently)

parent 198c98b3
#!/bin/bash
# DISABLE THIS UNTIL BUILD IS FIXED
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
. ${DIR}/common.sh
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment