diff options
Diffstat (limited to 'jjb/scripts/setup_executor_env.sh')
| -rwxr-xr-x[-rw-r--r--] | jjb/scripts/setup_executor_env.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/jjb/scripts/setup_executor_env.sh b/jjb/scripts/setup_executor_env.sh index 2bfbe8b32..ee483b87e 100644..100755 --- a/jjb/scripts/setup_executor_env.sh +++ b/jjb/scripts/setup_executor_env.sh @@ -56,3 +56,6 @@ echo "$long_line" echo "Executor Downloads cache '$downloads_cache':" ls -lh "$downloads_cache" || true echo "$long_line" +echo "DNS nameserver config in '/etc/resolv.conf':" +cat /etc/resolv.conf || true +echo "$long_line" |