aboutsummaryrefslogtreecommitdiff
path: root/buildfile
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2016-08-15 08:14:22 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2016-08-15 08:14:22 +0200
commit1a8a287a4f6cc441240dd2e58d243a03c341eea3 (patch)
tree3a12c00ea45fb973e07bdcdddf32ed6680eb2981 /buildfile
parent907a284e955e22de8e78c838a873b0889b33a945 (diff)
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.
Diffstat (limited to 'buildfile')
-rw-r--r--buildfile2
1 files changed, 1 insertions, 1 deletions
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