From dd1d8960e4d8b14a2eb19b05b258965766d5647e Mon Sep 17 00:00:00 2001
From: Kwankyu Lee <ekwankyu@gmail.com>
Date: Fri, 25 Oct 2024 16:41:21 +0900
Subject: [PATCH] Remove -executable flag

---
 .github/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/Dockerfile b/.github/Dockerfile
index 67568a9..75f9e02 100644
--- a/.github/Dockerfile
+++ b/.github/Dockerfile
@@ -10,7 +10,7 @@ RUN readlink /sage/venv >> /sage/venv_link
 WORKDIR /sage
 
 # Strip executables in /sage
-RUN LC_ALL=C find local src pkgs -executable -type f -exec strip '{}' ';' 2>&1 | grep -v "file format not recognized" || true
+RUN LC_ALL=C find local src pkgs -type f -exec strip '{}' ';' 2>&1 | grep -v "file format not recognized" || true
 
 # To exclude doc directory in the next stage
 RUN rm -rf local/share/doc