From d6f37cbc30134906e257be3e9867dbf13a55ba9d Mon Sep 17 00:00:00 2001
From: Rasmus Andersson <rasmus@notion.se>
Date: Thu, 29 Aug 2019 10:54:26 -0700
Subject: [PATCH] fix small issue with init.sh script

---
 init.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/init.sh b/init.sh
index 422296d97..0323054c4 100755
--- a/init.sh
+++ b/init.sh
@@ -339,7 +339,7 @@ else
   has_newer() {
     DIR=$1
     REF_FILE=$2
-    for f in $(find "$DIR" -type f -name '*.pyx' -newer "$REF_FILE" -print -quit); do
+    for f in $(find "$DIR" -type f -newer "$REF_FILE" -print -quit); do
       return 0
     done
     return 1