From 27ec1469ab1585030feafc0ffab9e552ee2969a7 Mon Sep 17 00:00:00 2001 From: Xavier Claessens Date: Mon, 4 Jun 2018 22:25:10 -0400 Subject: [PATCH] Remove developer script not needed in git repository --- tests/gobject/run-performance.sh | 6 ------ 1 file changed, 6 deletions(-) delete mode 100755 tests/gobject/run-performance.sh diff --git a/tests/gobject/run-performance.sh b/tests/gobject/run-performance.sh deleted file mode 100755 index f2d53dfef..000000000 --- a/tests/gobject/run-performance.sh +++ /dev/null @@ -1,6 +0,0 @@ -#!/bin/sh -DIR=`dirname $0`; -(cd $DIR; make performance) -ID=`git rev-list --max-count=1 HEAD` -echo "Testing revision ${ID}" -$DIR/performance | tee "perf-${ID}.log"