disable packet mismatch

This commit is contained in:
Nico Schottelius 2019-07-28 12:28:27 +02:00
parent cbf2a05ffd
commit a3392bc730

View file

@ -32,10 +32,11 @@ actual_line=$(grep ^actual "$LOG" | sed -e 's/.*= <//' -e 's/.*= (//')
# exit 1
# fi
if [ "$expected_line" != "$actual_line" ]; then
echo packet mismatch
exit 1
fi
# Disabled -- seems not to be relevant in the end - 2019-07-28
# if [ "$expected_line" != "$actual_line" ]; then
# echo packet mismatch
# exit 1
# fi
# Step 6: calls ${SUME_SDNET}/bin/gen_config_writes.py and generates SOMETHING
date