From dc168950c97a2ca1668030df48366e71a3ec8938 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Oscar=20Hellstr=C3=B6m?= Date: Sun, 14 Feb 2010 18:32:57 +0000 Subject: [PATCH] Don't rebuild here, it's done in the Makefile --HG-- branch : 1.2 --- util/releaser | 2 -- 1 file changed, 2 deletions(-) diff --git a/util/releaser b/util/releaser index ba463aaa..8d4400c0 100755 --- a/util/releaser +++ b/util/releaser @@ -89,8 +89,6 @@ if ! [ "$(hg identify | awk '{print $2};')" = "tip" ]; then fi fi -make clean && make && make dialyzer - if ! yesno "Did the compilation run without warnings?"; then echo "Try again..." exit 1