all the files

4 years ago · bbb6b267de
parent ec9b7833fa
commit bbb6b267de
1 changed files with 1 additions and 1 deletions
--- 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