Ignore checking miniconda.sh for license header

Signed-off-by: Daniel Lim Wee Soong <weesoong.lim@gmail.com>

.github/travis/check_license.sh

diff --git a/.github/travis/check_license.sh b/.github/travis/check_license.sh
index 8463847..2efc7f3 100755
--- a/.github/travis/check_license.sh
+++ b/.github/travis/check_license.sh
@@ -17,7 +17,8 @@
 ERROR_FILES=""
 FILES_TO_CHECK=`find . \
     -type f \( -name '*.sh' -o -name '*.py' -o -name 'Makefile' -o -name '*.v' \) \
-    \( -not -path "*/*/__init__.py" -not -path "*/.*/*" -not -path "*/third_party/*" -not -path "*/env/*" \)`
+    \( -not -path "*/.*/*" -not -path "*/third_party/*" -not -path "*/env/*" \) \
+    \( -not -path "*/*/__init__.py" -not -path "./miniconda.sh" \)`
 
 for file in $FILES_TO_CHECK; do
     echo "Checking $file"