diff options
Diffstat (limited to 'ci/verify.sh')
-rwxr-xr-x | ci/verify.sh | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/ci/verify.sh b/ci/verify.sh new file mode 100755 index 0000000..c1d65a4 --- /dev/null +++ b/ci/verify.sh @@ -0,0 +1,12 @@ +#!/bin/bash +# +# Copyright (c) Authors of Clover +# +# All rights reserved. This program and the accompanying materials +# are made available under the terms of the Apache License, Version 2.0 +# which accompanies this distribution, and is available at +# http://www.apache.org/licenses/LICENSE-2.0 +# +set -ex + +echo "Clover verify complete!" |