globally rename Fail* to FAIL*

Change-Id: Ief2cb687cc69dd92c2e04f9314f0f1347e0a84ed
2016-07-26 17:41:32 +02:00
parent 94a56c43c8
commit d3d2faf680
43 changed files with 120 additions and 121 deletions
@@ -24,7 +24,7 @@ fi
 echo "importing $VARIANT/$BENCHMARK symbols from $ELF ..."


-# get fail*'s variant_id
+# get FAIL*'s variant_id
 ID=$(echo "SELECT id FROM variant WHERE variant='$VARIANT' AND benchmark='$BENCHMARK'" | $MYSQL -N)
 if [ -z $ID ]; then
 	echo "no such variant/benchmark!" >&2