From 322199ac87709b086467ef49aa70000ab5c7073c Mon Sep 17 00:00:00 2001 From: Matthew Kennedy Date: Fri, 8 Mar 2024 00:08:04 -0800 Subject: [PATCH] ded --- misc/jenkins/build_working_folder.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/misc/jenkins/build_working_folder.sh b/misc/jenkins/build_working_folder.sh index 6903410fe9..e498846ec2 100755 --- a/misc/jenkins/build_working_folder.sh +++ b/misc/jenkins/build_working_folder.sh @@ -71,7 +71,7 @@ pwd zip -r $FULL_BUNDLE_FILE * [ $? -eq 0 ] || (echo "$SCRIPT_NAME: ERROR INVOKING zip"; exit 1) -echo "$SCRIPT_FILE: Bundle $FULL_BUNDLE_FILE ready" +echo "Bundle $FULL_BUNDLE_FILE ready" ls -l $FULL_BUNDLE_FILE [ -e $FULL_BUNDLE_FILE ] || { echo "$SCRIPT_NAME: ERROR not found $FULL_BUNDLE_FILE"; exit 1; }