From 30bf11d417eb0d65cb3620e44afe4efb8c7a1d09 Mon Sep 17 00:00:00 2001
From: Michele Locati <michele@locati.it>
Date: Thu, 15 Mar 2018 18:36:04 +0100
Subject: Remove useless .sh file extension

---
 test/tests/invalid-filter-options.fail | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test/tests/invalid-filter-options.fail')

diff --git a/test/tests/invalid-filter-options.fail b/test/tests/invalid-filter-options.fail
index b830d36..a6af95a 100755
--- a/test/tests/invalid-filter-options.fail
+++ b/test/tests/invalid-filter-options.fail
@@ -1,5 +1,5 @@
 #!/bin/sh
 
-. "$(cd -- "$(dirname -- "$0")" && pwd -P)/../bootstrap.sh"
+. "$(cd -- "$(dirname -- "$0")" && pwd -P)/../bootstrap"
 
 "${BIN_MAIN}" --workdir "${DIR_TEMP}" -- "${DIR_SOURCE}" b "${DIR_DESTINATION}"
-- 
cgit v1.2.3