diff options
| -rwxr-xr-x | make-dist | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/make-dist b/make-dist index dc5bbfc78be..e8aca553343 100755 --- a/make-dist +++ b/make-dist @@ -327,10 +327,6 @@ if [ $update = yes ]; then echo "Running autoreconf" autoreconf -i -I m4 || { x=$?; echo Autoreconf FAILED! >&2; exit $x; } - ## Make sure src/stamp-h.in is newer than configure.ac. - rm -f src/stamp-h.in - echo timestamp > src/stamp-h.in - echo "Updating Info files" make info |