diff --git a/scripts/ci.sh b/scripts/ci.sh
index 910fd3170aaebee7adf2cb6ca251193a19987243..597e5be93752dddf4e543724360425b266de1392 100755
--- a/scripts/ci.sh
+++ b/scripts/ci.sh
@@ -1,16 +1,6 @@
 #!/bin/bash
-if ! command -v vivado &> /dev/null
-then
-    echo "vivado environment not seted"
-    echo "source /tools/Xilinx/Vitis/2020.2/settings64.sh"
-	source /tools/Xilinx/Vitis/2020.2/settings64.sh
-fi
-if ! command -v petalinux-create &> /dev/null
-then
-    echo "PetaLinux environment not seted"
-    echo "source /tools/Xilinx/PetaLinux/2020.2/settings.sh"
-	source /tools/Xilinx/PetaLinux/2020.2/settings.sh
-fi
+source /tools/Xilinx/Vitis/2020.2/settings64.sh
+source /tools/Xilinx/PetaLinux/2020.2/settings.sh
 ORG_DIR=$(pwd) 
 $ORG_DIR/scripts/clean_up_project_repo.sh
 $ORG_DIR/scripts/create_vivado_project.sh