message: No longer inline CSVs
diff: @@ -28,24 +28,6 @@ def write_binary(csv_dir, fname):
  fname = fname.split(".")[0].replace("-", "_")
  return "const uint8_t " + fname + '[] = {' + result_text + '};\n'
  -def create_csv_header(csv_dir):
  - result = """/* THIS FILE WAS AUTOMATICALLY GENERATED BY generate_csv_header.py */
  -
  -#pragma once
  -
  -"""
  - for fname in os.listdir(csv_dir):
  - if fname.endswith(".csv"):
  - result += write_csv(csv_dir, fname)
  - elif fname.endswith(".csv.gz"):
  - result += write_binary(csv_dir, fname)
  -
  - print(os.path.join(csv_dir, 'test_csv_header.hpp'))
  - with open(os.path.join(csv_dir, 'test_csv_header.hpp'), 'w+') as f:
  - f.write(result)
  -
  -# create_csv_header(csv_dir)
  -
  tpch_dir = 'third_party/dbgen'
  tpch_queries = os.path.join(tpch_dir, 'queries')
  tpch_answers_sf001 = os.path.join(tpch_dir, 'answers', 'sf0.01')
  