From 2de28d43576707820d2e2a3e4a76c4e4f2d6b561 Mon Sep 17 00:00:00 2001
From: lethosor <lethosor@gmail.com>
Date: Sun, 4 Feb 2018 02:13:20 -0500
Subject: [PATCH] Fix bash compat issues

---
 travis/download-df.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/travis/download-df.sh b/travis/download-df.sh
index db5009069..20dc3dbd4 100755
--- a/travis/download-df.sh
+++ b/travis/download-df.sh
@@ -12,8 +12,8 @@ echo "DF_FOLDER: $DF_FOLDER"
 mkdir -p "$DF_FOLDER"
 cd "$DF_FOLDER"
 
-if [[ -f receipt ]]; then
-    if [[ "$selfmd5" != "$(cat receipt)" ]]; then
+if [ -f receipt ]; then
+    if [ "$selfmd5" != "$(cat receipt)" ]; then
         echo "download-df.sh changed; removing DF"
     else
         echo "Already downloaded $DF_VERSION"