diff --git a/release/copy_build_files.sh b/release/copy_build_files.sh
index 1dee1c9014..171041c795 100755
--- a/release/copy_build_files.sh
+++ b/release/copy_build_files.sh
@@ -3,14 +3,12 @@
 SOURCE_DIR=$1
 TARGET_DIR=$2
 
-FILES_SRC="release/files_pc"
-
-# if [ -f /TICI ]; then
-#   FILES_SRC="release/files_tici"
-# else
-#   echo "no release files set"
-#   exit 1
-# fi
+if [ -f /TICI ]; then
+  FILES_SRC="release/files_tici"
+else
+  echo "no release files set"
+  exit 1
+fi
 
 cd $SOURCE_DIR
 cp -pR --parents $(cat release/files_*) $TARGET_DIR/