From 1a8a287a4f6cc441240dd2e58d243a03c341eea3 Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Mon, 15 Aug 2016 08:14:22 +0200
Subject: Rename bootstrap to bootstrap.sh

Since it is a POSIX shell script (as opposed to bash script) and since we
are going to have bootstrap-*.bat.
---
 buildfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'buildfile')

diff --git a/buildfile b/buildfile
index cd8cf12..c60a1be 100644
--- a/buildfile
+++ b/buildfile
@@ -6,7 +6,7 @@ d = build2/ tests/ doc/
 
 ./: $d \
 doc{INSTALL LICENSE NEWS README version} \
-file{INSTALL.cli config.guess config.sub bootstrap manifest}
+file{INSTALL.cli config.guess config.sub bootstrap.sh manifest}
 
 include $d
 
-- 
cgit v1.1