[master] Odo devfile jenkinsfile master (#3185)

* Update Jenkinsfile to point to new location

Signed-off-by: James Wallis <[email protected]>

* Re-think logic

Signed-off-by: James Wallis <[email protected]>

Author: James Wallis

Jenkinsfile

@@ -288,8 +288,12 @@ pipeline {
                             exit 1
                         fi
 
-                        ODO_DEVFILE_BRANCH="master-devfile"
-                        curl -Lfo ${SRC_DIR}/pfe/extensions/codewind-odo-extension-devfile-$VERSION.zip http://archive.eclipse.org/codewind/codewind-odo-extension/$ODO_DEVFILE_BRANCH/latest/codewind-odo-extension-devfile-$VERSION.zip
+                        ODO_DEVFILE_BRANCH="$BRANCH-devfile"
+                        ODO_DEVFILE_VERSION=$ODO_DEVFILE_BRANCH
+                        if [ $CHANGE_TARGET == "master" ]; then
+                            ODO_DEVFILE_VERSION="devfile-9.9.9999"
+                        fi
+                        curl -Lfo ${SRC_DIR}/pfe/extensions/codewind-odo-extension-devfile-$VERSION.zip http://archive.eclipse.org/codewind/codewind-odo-extension/$ODO_DEVFILE_BRANCH/latest/codewind-odo-extension-$ODO_DEVFILE_VERSION.zip
                         if [ $? -ne 0 ]; then
                             echo "Error downloading odo-devfile extension"
                             exit 1