From ddb6433dc5a6cb070ff331ef00b69bea88c3de4e Mon Sep 17 00:00:00 2001
From: Pranjal Singh <pranjal.singh@uwaterloo.ca>
Date: Thu, 1 Sep 2016 16:36:04 -0400
Subject: [PATCH] Delete INSTALL

Should use the initdb mode to do this.
---
 INSTALL | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100644 INSTALL

diff --git a/INSTALL b/INSTALL
deleted file mode 100644
index 1e7d89a..0000000
--- a/INSTALL
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/bash
-
-# Create necessary db tables
-if [ -n "$MYSQL_PORT" ]; then
-  MYSQL_PORT_STRING="--port=$MYSQL_PORT"
-fi
-
-mysql --host="$MYSQL_HOST" "$MYSQL_PORT_STRING" < initialize_db.sql
-