Skip to content

Commit 83b5d5d

Browse files
authored
add extra check
1 parent 5ef5e95 commit 83b5d5d

1 file changed

Lines changed: 2 additions & 0 deletions

File tree

run_tests.sh

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,9 @@
1717
base_dir=$(dirname $(realpath $0))
1818
source ${base_dir}/init/eessi_defaults
1919

20+
echo "DEBUG"
2021
ping github.com
22+
ping nameserver 10.141.10.246
2123
cat /etc/resolv.conf
2224

2325
# Make sure we clone the latest version. This assumes versions are of the format "v1.2.3", then picks the latest

0 commit comments

Comments
 (0)