From f6143f127db59e7f5a00fd70605f85248869347d Mon Sep 17 00:00:00 2001 From: Patrick Wendell Date: Thu, 5 Jun 2014 13:06:46 -0700 Subject: HOTFIX: Remove generated-mima-excludes file after runing MIMA. This has been causing some false failures on PR's that don't merge correctly. Author: Patrick Wendell Closes #971 from pwendell/mima and squashes the following commits: 1dc80aa [Patrick Wendell] HOTFIX: Remove generated-mima-excludes file after runing MIMA. --- dev/mima | 1 + 1 file changed, 1 insertion(+) (limited to 'dev') diff --git a/dev/mima b/dev/mima index d409999025..ab6bd4469b 100755 --- a/dev/mima +++ b/dev/mima @@ -31,4 +31,5 @@ if [ $ret_val != 0 ]; then echo "NOTE: Exceptions to binary compatibility can be added in project/MimaExcludes.scala" fi +rm -f .generated-mima-excludes exit $ret_val -- cgit v1.2.3