From bbb6b267dee6eb0289b45e02fe6563c929fe3d9e Mon Sep 17 00:00:00 2001
From: Adeeb Shihadeh <adeebshihadeh@gmail.com>
Date: Mon, 26 Jul 2021 16:52:44 -0700
Subject: [PATCH] all the files

---
 release/build_devel.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/release/build_devel.sh b/release/build_devel.sh
index 34abf6d1c..db8c69bd7 100755
--- a/release/build_devel.sh
+++ b/release/build_devel.sh
@@ -41,7 +41,7 @@ git clean -xdf
 echo "[-] copying files T=$SECONDS"
 cd $SOURCE_DIR
 cp -pR --parents $(cat release/files_common) $TARGET_DIR/
-#cp -pR --parents $(cat release/files_tici) $TARGET_DIR/
+cp -pR --parents $(cat release/files_tici) $TARGET_DIR/
 if [ ! -z "$EXTRA_FILES" ]; then
   cp -pR --parents $EXTRA_FILES $TARGET_DIR/
 fi