Fail on commit with VERIFY SCRIPT but no scripted-diff
commit5432fc3d59ce013d6c27f440ad86fc1f16d6e384
authorPieter Wuille <pieter.wuille@gmail.com>
Tue, 30 May 2017 22:00:08 +0000 (30 15:00 -0700)
committerPieter Wuille <pieter.wuille@gmail.com>
Tue, 30 May 2017 22:00:08 +0000 (30 15:00 -0700)
tree46801dcd8a813d6b112ce0516842f90450fc53b4
parentacd9957b72a21def0445d8a414ac39d88efe5d78
Fail on commit with VERIFY SCRIPT but no scripted-diff
contrib/devtools/commit-script-check.sh