diff --git a/openvidu-server/deployments/pro/aws/createAMIs.sh b/openvidu-server/deployments/pro/aws/createAMIs.sh
index da9fd402..3b3fe9af 100755
--- a/openvidu-server/deployments/pro/aws/createAMIs.sh
+++ b/openvidu-server/deployments/pro/aws/createAMIs.sh
@@ -1,4 +1,12 @@
 #!/bin/bash -x
+set -eu -o pipefail
+
+CF_RELEASE=${CF_RELEASE:-false}
+
+if [[ $CF_RELEASE == "true" ]]; then
+    git checkout v$OPENVIDU_PRO_VERSION
+fi
+
 export AWS_DEFAULT_REGION=eu-west-1
 
 DATESTAMP=$(date +%s)