diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2016-08-15 08:14:22 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2016-08-15 08:14:22 +0200 |
| commit | 1a8a287a4f6cc441240dd2e58d243a03c341eea3 (patch) | |
| tree | 3a12c00ea45fb973e07bdcdddf32ed6680eb2981 /buildfile | |
| parent | 907a284e955e22de8e78c838a873b0889b33a945 (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-- | buildfile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |