diff options
| -rwxr-xr-x | makedist | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -112,7 +112,7 @@ done # generate some files so people don't need bison, flex and autoconf # to install set -x -./buildconf --copy +./buildconf --copy --force # remove buildmk.stamp. Otherwise, buildcheck.sh might not be run, # when a user runs buildconf in the distribution. |
