From 7cd86227264f329b193cb74492522c4665656621 Mon Sep 17 00:00:00 2001 From: Boris Kraut Date: Fri, 25 Sep 2015 13:11:49 +0200 Subject: [PATCH] Use bash for verify script --- tools/verify-rewritemeta.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/verify-rewritemeta.sh b/tools/verify-rewritemeta.sh index 99722fb432..0dd981fe50 100755 --- a/tools/verify-rewritemeta.sh +++ b/tools/verify-rewritemeta.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # Verify that rewritemeta has been run.