Update 01508_partition_pruning.sh

This commit is contained in:
Denny Crane 2020-09-27 10:03:13 -03:00 committed by GitHub
parent a8618c96f7
commit 0dd244126d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,10 +1,13 @@
#!/usr/bin/env bash
#--------------------------------------------
#-------------------------------------------------------------------------------------------
# Description of test result:
# Test the correctness of the partition
# pruning
#--------------------------------------------
#
# Script executes queries from a file 01508_partition_pruning.queries (1 line = 1 query)
# Queries are started with 'select' (but NOT with 'SELECT') are executed with log_level=debug
#-------------------------------------------------------------------------------------------
CURDIR=$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)
. "$CURDIR"/../shell_config.sh