diff --git a/scripts/check-gas-reports b/scripts/check-gas-reports index d0af47d..e546bfc 100755 --- a/scripts/check-gas-reports +++ b/scripts/check-gas-reports @@ -1,6 +1,4 @@ #!/bin/bash -# make sure gas reports are checked in with this commit -# dump report diff # exit with "1" if there is a diff, zero if no diff folder=${1:-reports}