# HG changeset patch
# User John W. Eaton <jwe@octave.org>
# Date 1711138813 14400
# Node ID 10c1848313c6d628f3494bcbdc3fcef4c861593d
# Parent  c8350f7d98347295eb0e6489eea887a67eecdcef
echo message if buildbot-worker-env isn't found

diff -r c8350f7d9834 -r 10c1848313c6 master.cfg
--- a/master.cfg	Fri Mar 22 07:06:14 2024 -0400
+++ b/master.cfg	Fri Mar 22 16:20:13 2024 -0400
@@ -270,7 +270,7 @@
 class EnvShellCommand (ShellCommand):
   def __init__ (self, command = '', **kwargs):
     kwargs['command'] = [
-      'bash', '-c', 'if [ -f "$HOME/buildbot-worker-env" ]; then source "$HOME/buildbot-worker-env"; fi; %s' % command
+      'bash', '-c', 'if [ -f "$HOME/buildbot-worker-env" ]; then source "$HOME/buildbot-worker-env"; else echo "$HOME/buildbot-worker-env not found"; fi; %s' % command
     ]
     ShellCommand.__init__ (self, **kwargs)