diff options
Diffstat (limited to 'experiments/bootstrap_plain_cnn.sh')
| -rwxr-xr-x | experiments/bootstrap_plain_cnn.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/experiments/bootstrap_plain_cnn.sh b/experiments/bootstrap_plain_cnn.sh index 0d6145f..7a1142b 100755 --- a/experiments/bootstrap_plain_cnn.sh +++ b/experiments/bootstrap_plain_cnn.sh @@ -20,8 +20,8 @@ main_root="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)" patch_root="$main_root/external/dualprop_patches" base_revision="7b2595b34421e1483a721dbfdeff8cdabda3a1ff" -if [[ "$(find "$patch_root" -maxdepth 1 -name '*.patch' | wc -l)" -ne 19 ]]; then - echo "expected 19 frozen Dual Propagation patches" >&2 +if [[ "$(find "$patch_root" -maxdepth 1 -name '*.patch' | wc -l)" -ne 20 ]]; then + echo "expected 20 frozen Dual Propagation patches" >&2 exit 1 fi |